Types in Compilation

Table of ContentsIntroductionXavier LeroyTyped intermediate languagesCompiling Java to a Typed Lambda-Calculus: A Preliminary ReportAndrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron HertzmannStack-Based Typed Assembly LanguageGreg Morrisett, Karl Crary, Neal Glew, David WalkerHow Generic is a Generic Back End? Using MLRISC as a Back End for the TIL CompilerAndrew Bernard, Robert Harper, Peter LeeProgram analysesA Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited talk)Alexander Aiken, Manuel Fahndrich, Jeffrey S. Foster, Zhendong SuOptimizing ML Using a Hierarchy of Monadic TypesAndrew TolmachType-Directed Continuation AllocationZhong Shao, Valery TrifonovProgram transformations and code generationPolymorphic Equality -- No Tags RequiredMartin ElsmanOptimal Type LiftingBratin Saha, Zhong ShaoFormalizing Resource Allocation in a CompilerPeter ThiemannMemory managementAn Approach to Improve Locality Using Sandwich TypesDaniela Genius, Martin Trapp, Wolf ZimmermannGarbage Collection via Dynamic Type Inference --- A Formal TreatmentHaruo Hosoya, Akinori YonezawaPartial evaluation and run-time code generationStrong Normalization by Type-Directed Partial Evaluation and Run-Time Code GenerationVincent Balat, Olivier DanvyDetermination of Dynamic Method Dispatches Using Run-Time Code GenerationNobuhisa FujinamiDistributed computingType-Based Analysis of Concurrent Programs (abstract of invited talk)Naoki KobayashiA Type-Based Semantics for User-Defined Marshalling in Polymorphic LanguagesDominic Duggan