Lawrence C. Paulson

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
Interactive Theorem Proving
Isabelle/HOL