|
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
|
|
4
|
What is a Universal Higher-Order Programming Language?
– Ramarao Kanneganti, Robert Cartwright
- 1993
|
|
|
A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes
– Thomas Van Noort, Peter Achten, Rinus Plasmeijer
|
|
9
|
An Operational Semantics for I/O in a Lazy Functional Language
– Andrew D. Gordon
- 1993
|
|
2
|
An Implementation of an Applicative File System
– Brian C. Heck, David S. Wise
- 1992
|
|
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
|
|
12
|
How to Make Destructive Updates Less Destructive
– Martin Odersky
- 1991
|
|
22
|
On the Expressiveness of Purely Functional I/O Systems
– Paul Hudak , Raman S. Sundaresh
- 1989
|
|
|
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
|
|
|
Temporal Logic for Reasoning about Concurrent Programs
– Christoph Sprenger, Module M
|
