Implementation of Lazy Agents in the Functional Language EBG (1999)

Cached

Download Links

by Tony Clark
Citations:1 - 0 self

Active Bibliography

1 Specification and Implementation of a Multi-Agent Calculus based on Higher-Order Functions – Tony Clark - 1999
2 EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine – Tony Clark - 1999
7 Deterministic Concurrency – David Paul Carter - 1993
1 Juaskell: Implementing Evaluation Strategies in Java. – Kevin Hammond, David Walsh-kemmis - 1998
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
unknown title – Supervisor Dr. Manuel Chakravarty - 2002
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
14 Abstract Machines for Dynamic Computation – Christopher David Walton - 2001
7 Explaining Polymorphic Types – Yang Jun, Greg Michaelson, Phil Trinder - 2002
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
4 Typechecking UML Static Models – Tony Clark - 1999
9 Extensible virtual machines – Timothy L. Harris - 2001
35 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
119 Design and Implementation of Generics for the .NET Common Language Runtime – Andrew Kennedy, Don Syme
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
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
10 Safetynet: A language-based approach to programmable networks – Ian Wakeman, Alan Jeffrey, Tim Owen - 2000