Back to Results
First PageMeta Content
Type theory / Functional languages / Data types / OCaml / Functional programming / ML / Caml / Type system / Type safety / Software engineering / Computing / Programming language theory


Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire
Add to Reading List

Document Date: 2013-11-14 06:21:29

Open Document

File Size: 430,01 KB

Share 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