David Tarditi. Design and Implementation of Code Optimizations for a TypeDirected Compiler for Standard ML. PhD thesis, School of Computer Science, Carnegie Mellon University, 1996. 73 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (20 citations) (Correct)
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman (Correct)
Compiling with Polymorphic and Polyvariant Flow Types - Turbak, Dimock, Muller, Wells (1997) (4 citations) (Correct)
Functioning without Closure: Type-Safe Customized.. - Dimock.. (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2001) (Correct)
Cross-Module Optimization - Lindgren (2001) (Correct)
Local CPS conversion - Reppy (2001) (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2001) (Correct)
Fully Reflexive Intensional Type Analysis - Trifonov, Saha, Shao (2000) (15 citations) (Correct)
Portable High Performance Programming via Architecture-Cognizant.. - Gatlin (2000) (1 citation) (Correct)
Local CPS conversion in a direct-style compiler - Reppy (2001) (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2000) (Correct)
Local CPS conversion in a direct-style compiler (Extended Abstract) - Reppy (2000) (Correct)
Space Issues in Compiling with Intersection and Union.. - Dimock, Westmacott.. (2000) (Correct)
A Calculus for Compiling and Linking Classes - Fisher, Reppy, Riecke (2000) (18 citations) (Correct)
An Interpretation of Standard ML in - Type Theory Robert (Correct)
Compiling Standard ML to Java - An (Correct)
Compiler Implementation in a Formal Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2000) (Correct)
Retrospective: - Til Type-Directed Optimizing Self-citation (Tarditi) (Correct)
TIL: A Type-Directed, Optimizing Compiler for ML - Tarditi, Morrisett, Cheng.. (1995) (139 citations) Self-citation (Tarditi) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC