Date: 2016-04-04 09:33:37Software engineering Computing Computer programming Functional languages Procedural programming languages Type theory Fellows of the Royal Society Data types ML Logic for Computable Functions Luca Cardelli Robin Milner | | Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in thAdd to Reading ListSource URL: sml-family.orgDownload Document from Source Website File Size: 179,45 KBShare Document on Facebook
|