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 th

First Page		Document Content
Date: 2016-04-04 09:33:37 Software 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 th Add to Reading List Source URL: sml-family.org Download Document from Source Website File Size: 179,45 KB Share Document on Facebook

	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 th DocID: 1xVzs - View Document
	Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby DocID: 1xTpT - View Document
	Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti DocID: 1xTcU - View Document
	The problem of biology is not to stand aghast at the complexity but to conquer it. Sydney Brenner. Abstract Machines of Systems Biology Luca Cardelli DocID: 1vfxq - View Document
	Bio-CONCUR 2004 Preliminary Version A Correct Abstract Machine for the Stochastic Pi-calculus Andrew Phillips 1 Luca Cardelli 2 Microsoft Research DocID: 1uVC6 - View Document