Compiling Mercury to the .NET Common Language Runtime


Download Links

by Tyson Dowd , Fergus Henderson , Peter Ross
Citations:6 - 1 self

Active Bibliography

8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
5 Using impurity to create declarative interfaces in Mercury – Tyson Dowd, Peter Schachte, Fergus Henderson, Zoltan Somogyi - 2000
14 Accurate Garbage Collection in an Uncooperative Environment – Fergus Henderson - 2002
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
16 The implementation technology of the Mercury debugger – Zoltan Somogyi, Fergus Henderson - 1999
67 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
Using the Heap to Eliminate Stack Accesses – Zoltan Somogyi And, Zoltan Somogyi, Peter J. Stuckey
1 Expressive Type Systems for Logic Programming Languages – David Jeffery - 2002
12 Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury – Wim Vanhoof - 2000
5 Practical Aspects for a Working Compile Time Garbage Collection System for Mercury – Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe - 2001
5 Practical declarative debugging of Mercury programs – Ian Douglas Maclarty - 2005
2 Optimising Tabling Structures for Bottom-Up Logic Programming – Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting - 2002
7 Status of the Mercury system – Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage, Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte, Simon Taylor - 1996
4 Optimization of Mercury programs – Simon Taylor, Supervisor Dr. Zoltan Somogyi - 1998
Type Inference for MLj – Bruce Mcadam Andrew, Andrew Kennedy, Nick Benton - 2000
MLJVM: A Java Virtual Machine implemented – In Standard Ml, Laura Korte, Supervised Stephen Gilmore
Adventures in Interoperability: The SML.NET Experience – Nick Benton Nick, Andrew Kennedy
2 Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine – Kwanghoon Choi, Hyun-il Lim, Taisook Han - 2001
O’Browser: Objective Caml on browsers ��Ò��Ñ�Ò��ÒÓÙÐ�Ô��Ö Î�Ò�ÒØ��Ð�ØÔÔ×�Ù××��Ù�Ö – Benjamin Canou, Vincent Balat, Emmanuel Chailloux