C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Types in Compilation
1998
1999
2000
1998
2000
Keyphrases
Publications
2000
Dan Grossman
,
J. Gregory Morrisett
Scalable Certification for Typed Assembly Language.
Types in Compilation
(2000)
Dominic Duggan
Sharing in Typed Module Assembly Language.
Types in Compilation
(2000)
Karl Crary
Sound and Complete Elimination of Singleton Kinds.
Types in Compilation
(2000)
Allyn Dimock
,
Ian Westmacott
,
Robert Muller
,
Franklyn A. Turbak
,
J. B. Wells
,
Jeffrey Considine
Program Representation Size in an Intermediate Language with Intersection and Union Types.
Types in Compilation
(2000)
David Walker
,
J. Gregory Morrisett
Alias Types for Recursive Data Structures.
Types in Compilation
(2000)
Michael W. Hicks
,
Stephanie Weirich
,
Karl Crary
Safe and Flexible Dynamic Linking of Native Code.
Types in Compilation
(2000)
Sophia Drossopoulou
An Abstract Model of Java Dynamic Linking and Loading.
Types in Compilation
(2000)
1998
Andrew Bernard
,
Robert Harper
,
Peter Lee
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler.
Types in Compilation
(1998)
Andrew P. Tolmach
Optimizing ML Using a Hierarchy of Monadic Types.
Types in Compilation
(1998)
Zhong Shao
,
Valery Trifonov
Type-Directed Continuation Allocation.
Types in Compilation
(1998)
Daniela Genius
,
Martin Trapp
,
Wolf Zimmermann
An Approach to Improve Locality Using Sandwich Types.
Types in Compilation
(1998)
Peter Thiemann
Formalizing Resourve Allocation in a Compiler.
Types in Compilation
(1998)
Alexander Aiken
,
Manuel Fähndrich
,
Jeffrey S. Foster
,
Zhendong Su
A Toolkit for Constructing Type- and Constraint-Based Program Analyses.
Types in Compilation
(1998)
Vincent Balat
,
Olivier Danvy
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.
Types in Compilation
(1998)
Haruo Hosoya
,
Akinori Yonezawa
Garbage Collection via Dynamic Type Inference - A Fomal Treatment.
Types in Compilation
(1998)
Dominic Duggan
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.
Types in Compilation
(1998)
Xavier Leroy
Introduction.
Types in Compilation
(1998)
Bratin Saha
,
Zhong Shao
Optimal Type Lifting.
Types in Compilation
(1998)
Naoki Kobayashi
Type-Based Analysis of Concurrent Programs.
Types in Compilation
(1998)
J. Gregory Morrisett
,
Karl Crary
,
Neal Glew
,
David Walker
Stack-Based Typed Assembly Language.
Types in Compilation
(1998)
Andrew K. Wright
,
Suresh Jagannathan
,
Cristian Ungureanu
,
Aaron Hertzmann
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.
Types in Compilation
(1998)
Nobuhisa Fujinami
Determination of Dynamic Method Dispatches Using Run-Time Code Generation.
Types in Compilation
(1998)
Martin Elsman
Polymorphic Equality - No Tags Required.
Types in Compilation
(1998)