An Overview of the FLINT/ML Compiler (1997)

Cached

Download Links

by Zhong Shao
Venue:In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation
Citations:90 - 17 self

Active Bibliography

34 Typed Cross-Module Compilation – Zhong Shao - 1998
25 Typed Common Intermediate Format – Zhong Shao - 1997
102 Compiling with Types – Greg Morrisett - 1995
65 Flexible representation analysis – Zhong Shao - 1997
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
1 Parameterized Signatures and Higher-Order Modules – Zhong Shao - 1998
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
Type Theory for Programming Languages – Robert Harper - 1994
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
Languages – Dominic Duggan
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997