Pages that link to "Logic for Computable Functions"
Showing 50 items.
- ML (programming language) (links | edit)
- OCaml (links | edit)
- LCF (links | edit)
- Type theory (links | edit)
- Poplog (links | edit)
- Robin Milner (links | edit)
- Standard ML (links | edit)
- Isabelle (proof assistant) (links | edit)
- HOL (proof assistant) (links | edit)
- F Sharp (programming language) (links | edit)
- Coq (software) (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- Extended ML (links | edit)
- MLton (links | edit)
- Xavier Leroy (links | edit)
- Lennart Augustsson (links | edit)
- Standard ML of New Jersey (links | edit)
- Dependent ML (links | edit)
- Concurrent ML (links | edit)
- Twelf (links | edit)
- Camlp4 (links | edit)
- SLAM project (links | edit)
- Caml (links | edit)
- MacroML (links | edit)
- Don Sannella (links | edit)
- FFTW (links | edit)
- Damien Doligez (links | edit)
- GeneWeb (links | edit)
- JoCaml (links | edit)
- HOL Light (links | edit)
- Haxe (links | edit)
- MTASC (links | edit)
- List of University of Edinburgh people (links | edit)
- Frank Pfenning (links | edit)
- Matita (links | edit)
- LCF theorem prover (redirect page) (links | edit)
- Turing Award (links | edit)
- Robin Milner (links | edit)
- List of mathematical logic topics (links | edit)
- Proof assistant (links | edit)
- List of pioneers in computer science (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Hotfeba/logic dictionary stubs (links | edit)
- User:Physis/Former watchlist (links | edit)
- Gérard Huet (links | edit)
- ATS (programming language) (links | edit)
- Marionnet (links | edit)
- Frama-C (links | edit)
- Logic of Computable Functions (links | edit)
- Don Syme (links | edit)
- Alice (programming language) (links | edit)
- LCF (theorem prover) (redirect page) (links | edit)
- Astrée (static analysis) (links | edit)
- Thierry Coquand (links | edit)
- LEGO (proof assistant) (links | edit)
- Milner Award (links | edit)
- F* (programming language) (links | edit)
- Alt-Ergo (links | edit)