Lambda-Calculus and Functional Programming

View PDF

Download Links

by Jonathan P. Seldin

Active Bibliography

Lambda-Calculus and Functional Programming tions. – Jonathan P. Seldin
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
7 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Declaration – Gregory John Michaelson, Gregory John Michaelson - 1993
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
578 Term Rewriting Systems – J. W. Klop - 1992
467 Comprehending Monads – Philip Wadler - 1992
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969