![Homological algebra / Standard ML / Module / D-module / Functor / Struct / Abstract algebra / Mathematics / Mathematical analysis Homological algebra / Standard ML / Module / D-module / Functor / Struct / Abstract algebra / Mathematics / Mathematical analysis](https://www.pdfsearch.io/img/150b67f6f12e3d0390dbb5f2cf04b007.jpg)
| Document Date: 2005-02-17 05:34:11 Open Document File Size: 167,44 KBShare Result on Facebook
City Moscow / / Company ACM Press / / Currency pence / / / Facility Keiko Nakata Research Institute / / IndustryTerm proposed type systems / functor applications / large software system / type systems / Module systems / / OperatingSystem Unix / / Organization Institute for Mathematical Sciences / Kyoto University / / Person Andrew W. Appel / Sinya Katumata / Keiko Nakata / Derek Dreyer / Sidd Puri / Karl Crary / Akira Ito / Jacques Garrigue / Susumu Nishimura / Xavier Leroy / Proc / Martin Odersky / Matthias Zenger / Robert Harper / Vincent Cremet / Claudio V. Russo / Gerard Boudol / Tom Hirschowitz / Masahito Hasegawa / / Product M-16 / / ProgrammingLanguage Objective Caml / Standard ML / ML / / ProvinceOrState New Jersey / / Technology Functional Programming / Unix / http / html / / URL http /
SocialTag |