First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:03Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml | From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,Add to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |