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 -⭐.

Details	Rating	Readers Count	Controls
ML for the Working Programmer, 2nd Edition Lawrence C. Paulson	0	0 reads
Interactive Theorem Proving Matt Kaufmann Lawrence C. Paulson	0	0 reads
Isabelle/HOL Tobias Nipkow Lawrence C. Paulson Markus Wenzel	0	0 reads

Community

Follow Along

We're an Open Book

Footer links