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

	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t DocID: 1rlXv - View Document
	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry DocID: 1r68x - View Document
	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† DocID: 1qvnK - View Document
	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom DocID: 1qfS7 - View Document