dblp.uni-trier.dewww.uni-trier.de

David Jeffery

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
5EEChristian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
4EEMaria 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
3EEDavid Jeffery, Fergus Henderson, Zoltan Somogyi: Type Classes in Mercury. ACSC 2000: 128-135
1999
2EEDavid 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

Coauthor Index

1Maria Garcia de la Banda (Maria J. García de la Banda) [4] [5]
2Thomas Conway [1]
3Tyson Dowd [1] [2]
4Fergus Henderson [1] [3]
5Christian Holzbaur [4] [5]
6Kim Marriott [4]
7Nicholas Nethercote [4]
8Zoltan Somogyi [1] [2] [3]
9Peter J. Stuckey [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)