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:19 - 2 self

Active Bibliography

Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Shail Aditya Gupta - 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
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
17 Collecting More Garbage – Pascal Fradet - 1994
102 Compiling with Types – Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
195 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
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
93 A Critique of Standard ML – Andrew W. Appel - 1992
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999