![Computing / Type system / Forgetful functor / Type safety / Module / Monad / Type inference / Sheaf / Limit / Type theory / Software engineering / Programming language theory Computing / Type system / Forgetful functor / Type safety / Module / Monad / Type inference / Sheaf / Limit / Type theory / Software engineering / Programming language theory](https://www.pdfsearch.io/img/bde4193efdb6173cb036993b5ce9c457.jpg)
| Document Date: 2011-11-23 03:22:15 Open Document File Size: 212,82 KBShare 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 |