2002 |
11 | EE | Fergus Henderson,
Zoltan Somogyi:
Compiling Mercury to High-Level C Code.
CC 2002: 197-212 |
10 | EE | Fergus Henderson:
Accurate garbage collection in an uncooperative environment.
MSP/ISMM 2002: 256-263 |
2001 |
9 | EE | Tyson Dowd,
Fergus Henderson,
Peter Ross:
Compiling Mercury to the .NET Common Language Runtime.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
2000 |
8 | EE | David Jeffery,
Fergus Henderson,
Zoltan Somogyi:
Type Classes in Mercury.
ACSC 2000: 128-135 |
1999 |
7 | EE | Simon L. Peyton Jones,
Alastair Reid,
Fergus Henderson,
C. A. R. Hoare,
Simon Marlow:
A Semantics for Imprecise Exceptions.
PLDI 1999: 25-36 |
6 | | Tyson Dowd,
Zoltan Somogyi,
Fergus Henderson,
Thomas Conway,
David Jeffery:
Run Time Type Information in Mercury.
PPDP 1999: 224-243 |
5 | EE | Zoltan Somogyi,
Fergus Henderson:
The Implementation Technology of the Mercury Debugger.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
1997 |
4 | EE | David B. Kemp,
Thomas Conway,
Evan P. Harris,
Fergus Henderson,
Kotagiri Ramamohanarao,
Zoltan Somogyi:
Database Transactions in a Purely Declarative Logic Programming Language.
DASFAA 1997: 283-292 |
1996 |
3 | | Zoltan Somogyi,
Fergus Henderson,
Thomas Conway:
The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language.
J. Log. Program. 29(1-3): 17-64 (1996) |
1995 |
2 | | Thomas Conway,
Fergus Henderson,
Zoltan Somogyi:
Code Generation for Mercury.
ILPS 1995: 242-256 |
1994 |
1 | EE | Zoltan Somogyi,
Fergus Henderson,
Thomas Conway:
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.
ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0- |