Compiler-directed Type Reconstruction for Polymorphic Languages (1993)

Cached

Download Links

by Shail Aditya
Venue:In Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture
Citations:18 - 2 self

Active Bibliography

1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
65 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
30 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
29 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
10 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
17 Collecting More Garbage – Pascal Fradet - 1994
40 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
97 Compiling with Types – Greg Morrisett - 1995
53 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
192 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
2 A Typed Approach to Layered Programming Language Design – Shail Aditya Gupta, Shail Aditya Gupta - 1994
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion – Susumu Nishimura, Atsushi Ohori - 1993
36 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
58 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
89 A Critique of Standard ML – Andrew W. Appel - 1992
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
37 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993