Run time type information in Mercury (1999)

Cached

Download Links

by Tyson Dowd , Zoltan Somogyi , Fergus Henderson , Thomas Conway , David Jeffery
Venue:In Proceedings of the 1999 International Conference on the Principles and Practice of Declarative Programming
Citations:14 - 6 self

Documents Related by Co-Citation

191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
29 The Mercury Language Reference Manual – Fergus Henderson, Thomas Conway, Zoltan Somogyi, David Jeffery, Peter Schachte, Simon Taylor, Chris Speirs - 1996
289 Garbage collection in an uncooperative environment – H-J Boehm, M Weiser - 1988
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
33 Determinism analysis in the Mercury compiler – Fergus Henderson, Zoltan Somogyi, Thomas Conway - 1996
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
16 The implementation technology of the Mercury debugger – Zoltan Somogyi, Fergus Henderson - 1999
35 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
33 Garca de la – Bart Demoen, Mara - 1997
2 Compiling Mercury to high-level C code. Submitted for publication; available from the author on request – F Henderson - 2001
8 The Mercury language reference manual. Available from http://www.cs.mu.oz.au/research/mercury/information/ papers.html – Fergus Henderson, Thomas Conway, Zoltan Somogyi, David Jeffery, Peter Schachte, Simon Taylor, Chris Speirs - 2000
25 Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog – Paul Tarau - 1999
33 Interlanguage Working Without Tears: Blending SML with Java – Nick Benton, Andrew Kennedy - 1999
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
36 CAT: the Copying Approach to Tabling – Bart Demoen, Konstantinos Sagonas - 1998
18 On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming (TPLP – R Rocha, F M A Silva, V S Costa - 2005
27 A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives – Hai-feng Guo, Gopal Gupta - 2001