Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗ - Forgetful functor - Document - PDFSEARCH.IO

First Page	Meta Content
	Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗ Add to Reading List Document Date: 2011-11-23 03:22:15 Open Document File Size: 212,82 KB Share Result on Facebook / Facility Stanford University / / IndustryTerm constraint machinery / function applications / module systems / functor applications / distinct applications / / Organization Stanford University / Association for Computing Machinery / / Person Xavier Leroy / / Position representative / g. p. / Harper / programmer / / ProgrammingLanguage E / Modula-2 / ML / XML / / SportsLeague Stanford University / / Technology alpha / XML / Dom / cmp / / SocialTag Computing Type system Forgetful functor Type safety Module Monad Type inference Sheaf Limit Type theory

Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗Add to Reading List