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

Active Bibliography

42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
102 Compiling with Types – Greg Morrisett - 1995
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
4 Making Mercury Programs Tail Recursive – Peter Ross, David Overton, Zoltan Somogyi - 1999
16 The implementation technology of the Mercury debugger – Zoltan Somogyi, Fergus Henderson - 1999
2 Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages – Mike McGaughey - 1995
Type-safe Stack Traversal for Garbage Collector Implementation – Colin Stebbins Gordon
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
10 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
11 Programming With Types – Stephanie Claudene Weirich - 2002
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
35 The effectiveness of type-based unboxing – Xavier Leroy, Inria Rocquencourt - 1997
14 Accurate Garbage Collection in an Uncooperative Environment – Fergus Henderson - 2002