![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) Date: 2013-09-29 14:14:18Type 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 GazagnaireAdd to Reading ListSource URL: anil.recoil.orgDownload Document from Source Website File Size: 430,01 KBShare Document on Facebook
|