Interactive Functional Programs: A Method and a Formal Semantics (1992)

Cached

Download Links

by Simon Thompson
Venue:Research Topics in Functional Programming
Citations:18 - 2 self

Active Bibliography

2 On the Uniquely Converging Property of Nonlinear Term Rewriting Systems – Mizuhito Ogawa, Satoshi Ono - 1989
1 How Daisy is Lazy: Suspending Construction at Target Levels – Steven D. Johnson
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes – Thomas Van Noort, Peter Achten, Rinus Plasmeijer
6 What is a Universal Higher-Order Programming Language? – Ramarao Kanneganti, Robert Cartwright - 1993
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
4 The FL project: The design of a functional language – Alexander Aiken, Edward L. Wimmers, John H. Williams - 1991
3 Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming – Diomidis D. Spinellis - 1994
22 On the Expressiveness of Purely Functional I/O Systems – Paul Hudak , Raman S. Sundaresh - 1989
2 An Implementation of an Applicative File System – Brian C. Heck, David S. Wise - 1992
Signed: – Malcolm Dowse - 2006
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
The Mechanical Verification of Distributed Systems – J. M. Crawford, D. M. Goldschlag - 1987
Student No 1161482 Table of Contents – Rui Wang - 2004
A Modular Specification of a Telephone System – Telephone System, Lars Kempe - 1994
MetateM in Intensive Care – M. Reynolds - 1997
The Transition Assertions Specification Method – Victor Carre, Victor A. Carre~no
Distributed Software Engineering - Invited State-of-the-Art Report – Jeff Kramer