Lawrence C. Paulson

Author of ML for the Working Programmer

5 Works 159 Members 1 Review

About the Author

Includes the names: Larry C. Paulson, Laurence C. Paulson

Works by Lawrence C. Paulson

Popular Recent

ML for the Working Programmer (1991) 140 copies, 1 review

Logic and Computation: Interactive Proof with Cambridge LCF (1987) 11 copies

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2002) — Author — 6 copies

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (1994) 1 copy

ML for the Working Programmer (1996) 1 copy

Work Explorer

Tagged

#27 (1) 2009 (2) 500 Science (1) @goog (1) @oh (2) @work (1) code (2) complang/ml (1) computer science (14) computer science tripos reading list 2009-2010 (1) computers (3) computing (2) cs (2) ebook (2) functional (1) functional programming (9) goodreads (2) J (1) Kindle (1) languages (2) LCF (1) logic (2) Melissa (1) ML (20) ml programming (1) non-fiction (8) own (1) programming (20) programming language (3) programming languages (3) shelf:b1 (1) SML (2) software development (2) Standard ML (2) status: on loan (1) the_sluttery (1) theorem proving (4) to-read (4) to: Honghan (1) verification (2)

Common Knowledge

Legal name: Paulson, Lawrence Charles
Gender: male
Nationality: UK
USA
Organizations: ACM (Fellow)

Members

Reviews

ML for the Working Programmer, 2nd Edition by L. C. Paulson

Not really sure who "working programmer" refers to in the book. It delves too quickly into formal proofs and implementation of a lambda calculus-based language. It's a disappointment to think that this might influence one's perception of what is possible with Standard ML... namely everything/anything.

Flagged

eatonphil | May 8, 2022 |

See More Reviews