Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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

Archive powered by MHonArc 2.6.18.

Top of Page