An Implementation of the Haskell Language (1990)

by Diomidis Spinellis
Citations:1 - 1 self

Active Bibliography

6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
22 Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same – Henry Baker - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
6 Higher-Order Persistent Polymorphic Programming in Tycoon – Florian Matthes, In Tycoon - 2000
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
39 Querying Nested Collections – Limsoon Wong - 1994
Acknowledgments – unknown authors
1 Implementation of Procedures in a Database Programming Language – Rebecca Lui - 1996
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
Presentation Techniques for more Expressive Programs – Andrew David Eisenberg - 2008
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
14 The Many Faces of Introspection – Rok Sosic - 1992