Back to Results
First PageMeta Content
Programming language theory / OCaml / Type system / ML / Subtype polymorphism / Type inference / System F / Lambda calculus / Type safety / Software engineering / Type theory / Computing


OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract
Add to Reading List

Document Date: 2013-12-06 16:18:27

Open Document

File Size: 142,42 KB

Share Result on Facebook
UPDATE