Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments (1998)

Cached

Download Links

by Claus Reinke

Active Bibliography

CHRISTIAN-ALBRECHTS-UNIVERSITÄT – Claus Reinke, D Kiel, Claus Reinke - 1998
467 Comprehending Monads – Philip Wadler - 1992
1353 Monads for functional programming – Philip Wadler - 1995
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1727 Aspect-oriented programming – Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin - 1997
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
766 Notions of Computation and Monads – Eugenio Moggi - 1991
682 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975