1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier - Generalized algebraic data type - Document - PDFSEARCH.IO

First Page	Meta Content
	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Document Date: 2005-09-20 09:57:28 Open Document File Size: 500,63 KB Share Result on Facebook Currency franc / / IndustryTerm type systems / / ProgrammingLanguage ML / / SocialTag Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory

1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois PottierAdd to Reading List