Lawrence C. Paulson

Autore di ML for the Working Programmer

5 opere 153 membri 1 recensione

Sull'Autore

Comprende i nomi: Larry C. Paulson, Laurence C. Paulson

Opere di Lawrence C. Paulson

Popolari Recenti

ML for the Working Programmer (1991) 135 copie

Logic and Computation: Interactive Proof with Cambridge LCF (1987) 10 copie

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

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

ML for the Working Programmer (1996) 1 copia

Esplora le opere

Etichette

#27 (1) 2009 (2) 500 Science (1) @goog (1) @lavoro (1) @oh (2) Codice (2) complang/ml (1) computazione (2) computer (3) computer science tripos reading list 2009-2010 (1) CS (2) da leggere (4) EBook (2) engineering-to-read (1) functional (1) Goodreads (2) Informatica (14) J (1) kindle (1) LCF (1) linguaggi di programmazione (3) Linguaggio di programmazione (3) Logica (2) ML (20) ml programming (1) posseduto (1) programmazione (20) Programmazione funzionale (9) Saggistica (8) shelf:b1 (1) SML (2) Standard ML (2) status: on loan (1) sviluppo software (2) Talen (2) tecnico (1) theorem proving (4) to: Honghan (1) verification (2)

Traduzione delle etichette attiva

Informazioni generali

Nome legale: Paulson, Lawrence Charles
Sesso: male
Nazionalità: UK
USA
Organizzazioni: ACM (Fellow)

Utenti

Recensioni

ML for the Working Programmer, 2nd Edition di 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.

Segnalato

eatonphil | May 8, 2022 |

Vedi altre recensioni