Trampolined Style (1999)

by Steven E. Ganz , Daniel P. Friedman , Mitchell Wand
Venue:IN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:40 - 3 self

Active Bibliography

1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
459 Comprehending Monads – Philip Wadler - 1992
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992