Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2 - Ground expression - Document - PDFSEARCH.IO

First Page	Meta Content
	Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2 Add to Reading List Document Date: 2012-05-14 03:02:54 Open Document File Size: 289,35 KB Share Result on Facebook City Paris / / Country France / / IndustryTerm proof search / Type systems / veriﬁcation tool / / ProgrammingLanguage ML / R / C++ / / ProvinceOrState Tennessee / Vermont / / Technology dom / / SocialTag Model theory Formal languages Type theory Symbol Interpretation First-order logic Well-formed formula Ground expression Greek alphabet Logic

Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2Add to Reading List