Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa - The Unraveling - Document - PDFSEARCH.IO

First Page	Meta Content
	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Document Date: 2006-10-09 03:17:38 Open Document File Size: 1,13 MB Share Result on Facebook City Camina / / Country Portugal / / IndustryTerm high-tech software / / Position interpreter / / ProgrammingLanguage ML / / Technology object-oriented programming / / SocialTag Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering

Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versaAdd to Reading List