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

	Code of Conduct for attendees of Royal Astronomical Society Meetings/Events in Burlington House and elsewhere The Royal Astronomical Society Fellows and staff value the participation of everyone at events and want all at DocID: 1tFjq - View Document
	CREATe Working PaperDecemberCopyright & Risk: Scoping the Wellcome Digital Library Project DocID: 1rrZt - View Document
	Scientific Advice in Government: Collaborating and Communicating Bootle Town Hall Sir John Beddington Chief Scientific Adviser to HM Government and Head of the Government Office for Science DocID: 1rq5f - View Document
	Falconer Museum Tolbooth Street Forres, Moray Tel: Fax: e-mail: web: www.moray.org/museums/ DocID: 1rpUU - View Document
	Top 50 authors in computer science Author Michael I. Jordan Andrew Y. Ng Andrew Zisserman DocID: 1rll2 - View Document