Back to Results
First PageMeta Content
Computing / Type system / Forgetful functor / Type safety / Module / Monad / Type inference / Sheaf / Limit / Type theory / Software engineering / Programming language theory


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
UPDATE