Type Theory and Functional Programming (1991)

by Simon Thompson , C Simon Thompson
Citations:96 - 3 self

Documents Related by Co-Citation

264 Constructive mathematics and computer programming – P Martin-Lof - 1982
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
80 Constable et al. Implementing Mathematics with the NuPRL Proof Development System – R L - 1986
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
128 Naive Set Theory – Paul R Halmos - 1960
367 ML for the Working Programmer – Laurence C Paulson - 1991
13 Program Transformation and Rewriting – Bellegarde - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
141 Intuitionistic type theory. Bibliopolis – P Martin-Löf - 1984
326 Theorems for free! – Philip Wadler - 1989
702 Types and programming languages – Benjamin C Pierce - 2002
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
44 Epigram: Practical programming with dependent types – C McBride - 2004
49 Extensional concepts in intensional type theory – Martin Hofmann - 1995