![Type theory / Functional languages / Data types / OCaml / Functional programming / ML / Caml / Type system / Type safety / Software engineering / Computing / Programming language theory Type theory / Functional languages / Data types / OCaml / Functional programming / ML / Caml / Type system / Type safety / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/9eaab64d4fba04bc31d5926fdb95c621.jpg)
| Document Date: 2013-09-29 14:14:18 Open Document File Size: 430,01 KBShare Result on Facebook
City Cambridge / / Company Anil Madhavapeddy Computer Laboratory / Elsevier Science B. V. / BP / / Country United Kingdom / / Currency pence / / / IndustryTerm usual solution / camlp4 metaprogramming tool / type-inference algorithm / type systems / Pretty-printing / / OperatingSystem Linux / / Person Thomas Gazagnaire / / Position programmer / / Product camlp4 / / ProgrammingLanguage Haskell / SQL / Python / ML / Java / / Technology virtual machine / dom / Java / relational database / type-inference algorithm / Linux / /
SocialTag |