A Lazy Non-Deterministic Functional Language

Cached

Download Links

by Clark Department Of

Active Bibliography

Quality Issues in the Formal Refinement of KBS – A. N. Clark, Dr. A. N. Clark
3 A Logically Reversible Evaluator for the Call-by-Name Lambda Calculus – Lorenz Huelsbergen - 1996
Graph Reduction, and how to avoid it (extended abstract of talk) – Thomas Johnsson - 1995
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
2 A Simple Interpretation of OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico - 1993
1 Swinging Data Types: The Dielectic between Actions and Constructors – Peter Padawitz - 1998
7 Deterministic Concurrency – David Paul Carter - 1993
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
2 CASE - A Lazy Version of an SECD Machine with a Flat Environment – Antony J. T. Davie, David J. McNally, A. Davie D. Mcnally - 1990
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
3 Implementing the Charity Abstract Machine – Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme - 1995
7 A Monadic Semantics for Core Curry – Andrew Tolmach, Sergio Antoy - 2003
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996
3 Foundations of Functional Programming – Lawrence C. Paulson - 2000
iv TABLE OF CONTENTS – Ross Tate, Bobby Mcferrin - 2012
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993