Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Now online: ML for the Working Programmer

view this post on Zulip Email Gateway (Aug 22 2022 at 16:05):

From: Lawrence Paulson <lp15@cam.ac.uk>
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

Last updated: Feb 01 2025 at 20:19 UTC