An Overview of the FLINT/ML Compiler (1997)

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

Active Bibliography

36 Typed Cross-Module Compilation – Zhong Shao - 1998
103 Compiling with Types – Greg Morrisett - 1995
25 Typed Common Intermediate Format – Zhong Shao - 1997
67 Flexible representation analysis – Zhong Shao - 1997
64 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
30 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
1 Parameterized Signatures and Higher-Order Modules – Zhong Shao - 1998
14 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998