coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Now online: ML for the Working Programmer

From: Lawrence Paulson <lp15 AT cam.ac.uk>
To: isabelle-users <isabelle-users AT cl.cam.ac.uk>, hol-info AT lists.sourceforge.net, coq-club AT inria.fr
Subject: [Coq-Club] Now online: ML for the Working Programmer
Date: Tue, 12 Sep 2017 12:56:55 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lp15 AT cam.ac.uk; spf=Pass smtp.mailfrom=lp15 AT cam.ac.uk; spf=Pass smtp.helo=postmaster AT ppsw-42.csi.cam.ac.uk
Ironport-phdr: 9a23:mPOuwREGXDtV++0G+DD86Z1GYnF86YWxBRYc798ds5kLTJ75pM6wAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVTxTkPAB4IuD4X5PJgt6sn7Sz4JTZbgFMiX+ger5oNz29qUPav8xQiIAkN6VnjlPJpX8NeuJYwktsJEmPhFDn4dqq95Nt9D5ftrQn+tIEGa79ZuEzSaFSJDUgKWE8osPx5jfZSg7awnIDSGgQmRcAOwHY6Ar9WN+ltjOj68J20SzcNMawULNiCmfq1LtiVBK90HRPDDU+6myC0sE=

In response to recent requests, I have decided to make the full text of the book ML for the Working Programmer available in PDF. It remains copyright material and may be downloaded for personal use only, not for redistribution.

http://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html

Larry Paulson

[Coq-Club] Now online: ML for the Working Programmer, Lawrence Paulson, 09/12/2017