Searching for authors named "David Jeffery" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Expressive Type Systems for Logic Programming Languages
- …Expressive Type Systems for Logic Programming Languages David Jeery Submitted in total fullment…
- Cited by 1 (0 self) – Add To MetaCart
-
2.2 CHALLENGES AND ANTICIPATED PROBLEMS.......................................................... 4
- …Voice-Over-IP Final Report April 25, 2000 Project Members: Todd Stokes David Jeffery Quiana Smith…
- Add To MetaCart
-
Type classes in Mercury
- …Type classes in Mercury DRAFT David Jeffery, Fergus Henderson and Zoltan Somogyi Department…
- Add To MetaCart
-
MCORBA: A CORBA Binding for Mercury
- …MCORBA: A CORBA Binding for Mercury David Jeffery, Tyson Dowd, Zoltan Somogyi fdgj…
- Cited by 14 (0 self) – Add To MetaCart
-
Run time type information in Mercury
- …, and David Jeery ftrd,zs,fjh,conway,dgjg@(email omitted); Department of Computer Science and Software…
- Cited by 14 (6 self) – Add To MetaCart
-
The Mercury Language Reference Manual
- …The Mercury Language Reference Manual Fergus Henderson Thomas Conway Zoltan Somogyi David Jeery…
- Cited by 27 (13 self) – Add To MetaCart
-
Status of the Mercury system
- …, Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte and Simon Taylor fzs…
- Cited by 7 (0 self) – Add To MetaCart
-
The Mercury Language Reference Manual - Version 0.11.0
- … David Jeery Peter Schachte Simon Taylor Chris Speirs Tyson Dowd Ralph Becket Copyright c 1995…
- Cited by 1 (0 self) – Add To MetaCart
-
Building Constraint Solvers with HAL
- …Building Constraint Solvers with HAL Mara Garca de la Banda 1 , David Jeery 1 , Kim Marriott 1…
- Add To MetaCart
-
Optimizing Compilation of Constraint Handling Rules
- … 2 , David Jeery 2 , and Peter J. Stuckey 3 1 Dept. of Medical Cybernetics and Art. Intelligence…
- Cited by 28 (7 self) – Add To MetaCart
Showing 1 through 10.
