Lawrence C. Paulson
Lawrence C. Paulson has written at least 3 books. Their most popular book is ML for the Working Programmer, 2nd Edition with 2 saves with an average rating of -⭐.
ML for the Working Programmer, 2nd Edition
ByLawrence C. Paulson
1991 • 2 Readers • 500 pages
Interactive Theorem Proving
ByMatt Kaufmann,Lawrence C. Paulson
2010 • 495 pages
Isabelle/HOL
ByTobias Nipkow,Lawrence C. Paulson,+1 more
2003 • 226 pages