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
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1369 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
540 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
1311 Monads for functional programming – Philip Wadler - 1995
1096 Proof-Carrying Code – George C. Necula - 1997
457 Comprehending Monads – Philip Wadler - 1992
566 Term Rewriting Systems – J. W. Klop - 1992