![Lambda calculus / Functional languages / Type theory / Formal methods / Theoretical computer science / Eval / OCaml / Type system / Scheme / Software engineering / Computing / Programming language theory Lambda calculus / Functional languages / Type theory / Formal methods / Theoretical computer science / Eval / OCaml / Type system / Scheme / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/378a688aee43b59778497f8d4f1a7be8.jpg)
| Document Date: 2008-10-20 11:11:08 Open Document File Size: 227,80 KBShare Result on Facebook
Company Case / / / Facility Rice University / OCaml List library / / IndustryTerm helpful by-product / implementation technology / minimal tool / mainstream software / / Organization Walid Taha Department of Computer Science / Rice University / Houston / National Science Foundation / / Person Walid Taha / / Position Expressions The Aloe interpreter / Aloe interpreter / staged interpreter for this language / direct style interpreter / OCaml interpreter / original interpreter / translator / head / staged interpreter / interpreter / reference interpreter / / Product OCaml / / ProgrammingLanguage ML / XML / HTML / / TVStation Wand / / Technology XML / implementation technology / dom / HTML / / URL http /
SocialTag |