|
1
|
Implementation of Lazy Agents in the Functional Language EBG
– Tony Clark
- 1999
|
|
2
|
EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine
– Tony Clark
- 1999
|
|
10
|
Value Recursion in Monadic Computations
– Levent Erkok
- 2002
|
|
1
|
Object-oriented refinement and proof using behaviour functions
– Tony Clark
- 2000
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
20
|
Constraints for Free in Concurrent Computation
– Joachim Niehren, Martin Müller
- 1995
|
|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
15
|
Functional Languages and Graphical User Interfaces -- a review and a case study
– Rob Noble , Colin Runciman
- 1994
|
|
9
|
An Operational Semantics for I/O in a Lazy Functional Language
– Andrew D. Gordon
- 1993
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
1
|
Feris: a functional environment for retargetable interactive systems
– Robert Ennals
- 2000
|
|
|
Special Difficulties
– Retargetable Interactive Systems, Name Robert Ennals, Simon Peyton-jones
|
|
|
Metaclasses and Reflection in Smalltalk
– A.N. Clark
- 1997
|
|
|
An Actor Formalism For Open Concurrent Systems
– Shyamasundar Anna Patterson, R. K. Shyamasundar, Anna Patterson, Gul Agha
|
|
|
Chapter 6. An Investigation into Functions as Processes
– Unknown
|
|
1
|
Trace Semantics for Concurrent Objects
– Vasco Thudichum Vasconcelos, Copyright Vasco, T. Vasconcelos
- 1992
|
|
4
|
Semantics for an Actor-Based Real-Time Language
– Brian Nielsen, Gul Agha
- 1996
|
|
3
|
A Semantic Framework for Object-Oriented Development
– Tony Clark
- 1999
|
