2001 |
5 | EE | Christian Holzbaur,
Maria J. García de la Banda,
David Jeffery,
Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules.
ICLP 2001: 74-89 |
4 | EE | Maria J. García de la Banda,
David Jeffery,
Kim Marriott,
Nicholas Nethercote,
Peter J. Stuckey,
Christian Holzbaur:
Building Constraint Solvers with HAL.
ICLP 2001: 90-104 |
2000 |
3 | EE | David Jeffery,
Fergus Henderson,
Zoltan Somogyi:
Type Classes in Mercury.
ACSC 2000: 128-135 |
1999 |
2 | EE | David Jeffery,
Tyson Dowd,
Zoltan Somogyi:
MCORBA: A CORBA Binding for Mercury.
PADL 1999: 211-227 |
1 | | Tyson Dowd,
Zoltan Somogyi,
Fergus Henderson,
Thomas Conway,
David Jeffery:
Run Time Type Information in Mercury.
PPDP 1999: 224-243 |