Fully reflexive intensional type analysis

Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data str...

[1]  Robert Harper,et al.  Typed closure conversion , 1996, POPL '96.

[2]  Dominic Duggan,et al.  A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages , 1998, Types in Compilation.

[3]  Robert Harper,et al.  TIL: a type-directed optimizing compiler for ML , 1996, PLDI '96.

[4]  Karl Crary,et al.  Intensional polymorphism in type-erasure semantics , 1998, ICFP '98.

[5]  Andrew W. Appel,et al.  A type-based compiler for standard ML , 1995, PLDI '95.

[6]  Robert Harper,et al.  Compiling polymorphism using intensional type analysis , 1995, POPL '95.

[7]  Karl Crary,et al.  From system F to typed assembly language , 1999, TOPL.

[8]  Zhe Yang,et al.  Encoding types in ML-like languages , 1998, ICFP '98.

[9]  Zhong Shao.  Flexible representation analysis , 1997, ICFP '97.

[10]  Graham Hutton,et al.  Bananas in space: extending fold and unfold to exponential types , 1995, FPCA '95.

[11]  Tim Sheard,et al.  Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space) , 1996, POPL '96.

[12]  Kazuhiko Kato,et al.  Semantics for communication primitives in a polymorphic language , 1993, POPL '93.

[13]  Zhong Shao.  Typed cross-module compilation , 1998, ICFP '98.

[14]  John C. Reynolds,et al.  Towards a theory of type structure , 1974, Symposium on Programming.

[15]  John C. Mitchell,et al.  Parametricity and Variants of Girard's J Operator , 1999, Inf. Process. Lett..

[16]  Zhong Shao,et al.  Representing Java classes in a typed intermediate language , 1999, ICFP '99.

[17]  Karl Crary,et al.  Flexible type analysis , 1999, ICFP '99.

[18]  Zhong Shao.  Transparent modules with fully syntatic signatures , 1999, ICFP '99.