Flow-Directed Closure Conversion for Typed Languages (2000)

Cached

Download Links

by Henry Cejtin , Suresh Jagannathan , Stephen Weeks
Venue:In ESOP '00 [ESOP00
Citations:31 - 1 self

Active Bibliography

65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
6 Combining Closure Conversion with Closure Analysis using Algebraic Types – Andrew Tolmach - 1997
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
11 Equality-based flow analysis versus recursive types – Jens Palsberg - 1998
Combining Closure Conversion with Closure Analysis using Algebraic Types – unknown authors - 1997
102 Compiling with Types – Greg Morrisett - 1995
34 Typed Cross-Module Compilation – Zhong Shao - 1998
25 Single and loving it: Must-alias analysis for higher-order languages – Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew Wright - 1998
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
17 Polymorphic Typed Defunctionalization – Francois Pottier, Nadji Gauthier - 2004
14 A Denotational Investigation of Defunctionalization – Lasse R. Nielsen - 2000
2 An overview of Types in Compilation – Xavier Leroy - 1998
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
7 Functioning without closure: Type-safe customized function representations for Standard ML – Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells - 2001
1 Systematic abstraction of abstract machines – David Van Horn
1 Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening – Torben Amtoft, Robert Muller - 2002
41 Flow-directed Inlining – Suresh Jagannathan, Andrew Wright - 1996
73 A Unified Treatment of Flow Analysis in Higher-Order Languages – Suresh Jagannathan, Stephen Weeks - 1995