Interpreter Prototypes From Formal Language Definitions (1993)

Cached

Download Links

by Gregory John Michaelson
Citations:6 - 4 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
1318 Monads for functional programming – Philip Wadler - 1995
1111 Proof-Carrying Code – George C. Necula - 1997
459 Comprehending Monads – Philip Wadler - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991