New programming languages for (1974)

Cached

Download Links

by Bertram Raphael
Venue:Communications of the ACM
Citations:8 - 0 self

Documents Related by Co-Citation

2 Functional programming using CAML Light. Available on the Web from http://pauillac.inria.fr/caml/tutorial/index.html – M Mauny - 1995
2 Uni of simply typed lamda-terms as logic programming – D Miller - 1991
2 Le langage Caml. InterEditions. See also the CAML Web page: http://pauillac.inria.fr/caml – P Weis, X Leroy - 1993
18 Mechanical theorem-proving by model elimination – D W Loveland - 1968
8 Natural Deduction. A Proof-Theoretical Study, volume 3 – Dag Prawitz - 1965
11 Principia Mathematica. 3 vols – Alfred North Whitehead, Bertrand Russell - 1910
674 The Art of Computer Programming, Volume 2: Seminumerical Algorithms, Addison-Wesley, third edition – D Knuth - 1997
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
409 Garbage Collection: Algorithms for Automatic Dynamic Memory Management – Richard Jones, Rafael Lins - 1996
49 Deciding ML typability is complete for deterministic exponential time – Harry G Mairson - 1990
366 ML for the Working Programmer – L C Paulson - 1991
100 A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler – Mark E. Stickel - 1987
165 Logic and Computation: Interactive Proof with Cambridge LCF – L Paulson - 1987
49 A Higher-Order Implementation of Rewriting – Lawrence Paulson - 1983
154 Tractatus logico-philosophicus – L Wittgenstein - 1922
42 Un thèoréme sur les fonctions d’ensembles, Annales de la Societe Polonaise de Mathematique 6 – B Knaster - 1928
87 Edinburgh LCF: A Mechanised Logic – M J C Gordon, R Milner, C P Wadsworth - 1979
97 The 3x+1 Problem and its Generalizations – J C Lagarias - 1985
20 Optimizing proof search in model elimination – John Harrison, Turku Centre For - 1996