Interpreter Prototypes From Formal Language Definitions (1993)


Download Links

by Gregory John Michaelson
Citations:6 - 4 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
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
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
7 Deterministic Concurrency – David Paul Carter - 1993
Approved by: – R. Kent Dybvig, R. Kent Dybvig, R. Kent Dybvig - 1987
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Acknowledgments – unknown authors
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
29 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
unknown title – Norman Ramsey, Bradford Larsen
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
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