coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] Now online: ML for the Working Programmer, Lawrence Paulson, 09/12/2017
Archive powered by MHonArc 2.6.18.