The Mercury Language Reference Manual (1996)

by Fergus Henderson , Thomas Conway , Zoltan Somogyi , David Jeffery , Peter Schachte , Simon Taylor , Chris Speirs
Citations:29 - 13 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
1312 Monads for functional programming – Philip Wadler - 1995
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
14 Run time type information in Mercury – Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery - 1999
5 A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages – Andreas Kagedal, Saumya Debray - 1997
10 On Copy Avoidance in Single Assignment Languages – S K Debray - 1993
9 Compile-time garbage collection for ground Prolog – F Klu'zniak - 1988
5 Live-structure data analysis for Prolog – A Mulkers, W Winsborough, M Bruynooghe - 1994
12 Monadic Constructs for Logic Programming – Yves Bekkers, Paul Tarau
195 A practical framework for the abstract interpretation of logic programs – Bruynooghe - 1991
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
7 Live-structure Analysis for Logic Programming Languages with Declarations – Maurice Bruynooghe, Gerda Janssens, Andreas Kagedal - 1996
33 Determinism analysis in the Mercury compiler – Fergus Henderson, Zoltan Somogyi, Thomas Conway - 1996
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
12 A Machine-Independent Debugger – David R. Hanson, Mukund Raghavachari - 1995
41 H/Direct: A binary foreign language interface for Haskell – Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones - 1998
196 The Common Object Request Broker: Architecture and Speci cation." http://www. acl.lanl.gov/sunrise/DistComp/Objects/corba.html – Object Management Group - 1993
19 OPIUM: An Extendable Trace Analyser for PROLOG – Mireille Ducasse - 1997