Lawrence C. Paulson

Auteur van ML for the Working Programmer

5 Werken 153 Leden 1 Geef een beoordeling

Over de Auteur

Bevat de namen: Larry C. Paulson, Laurence C. Paulson

Werken van Lawrence C. Paulson

Populair Recent

ML for the Working Programmer (1991) 135 exemplaren

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

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

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

ML for the Working Programmer (1996) 1 exemplaar

Werk verkenner

Tagged

#27 (1) 2009 (2) 500 Science (1) @goog (1) @oh (2) @work (1) complang/ml (1) computer science tripos reading list 2009-2010 (1) Computers (3) CS (2) E-boek (2) engineering-to-read (1) functional (1) Functioneel programmeren (9) Goodreads (2) in bezit (1) Informatica (14) Informatica (2) J (1) Kindle (1) Kode (2) LCF (1) Logica (2) ML (20) ml programming (1) Non-fictie (8) Programmeertaal (3) Programmeertalen (3) Programmeren (20) shelf:b1 (1) SML (2) Software-ontwikkeling (2) standard ml (2) status: on loan (1) talen (2) te lezen (4) technisch (1) theorem proving (4) to: Honghan (1) Verificatie (2)

Trefwoordvertaling ingeschakeld

Algemene kennis

Officiële naam: Paulson, Lawrence Charles
Geslacht: male
Nationaliteit: UK
USA
Organisaties: ACM (Fellow)

Leden

Besprekingen

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

Gemarkeerd

eatonphil | May 8, 2022 |

Bekijk meer besprekingen