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

6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
Pattern Systems and Methodologies for Multiparadigm Analysis and Design – Charles D. Knutson - 1998
22 Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same – Henry Baker - 1993
1 Software measurement and functional programming – Klaas Van Den Berg, Cip-data Koninklijke Bibliotheek, Den Haag, Klaas Gerrit Van Den - 1995
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
2 Language Extensibility via First-class Interpreters and Constructive Modules – David Espinosa - 1993
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Acknowledgments – unknown authors
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998