David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In Submitted to PLDI'96, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) Self-citation (Harper) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, PA, May 1996.
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) Self-citation (Stone Harper) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A Type-Directed Optimizing Compiler for ML. In Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 181--192, 1996. 42 A Rules for
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) Self-citation (Stone Harper) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A Type-Directed Optimizing Compiler for ML. In Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 181--192, 1996. 42 A Rules for
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) Self-citation (Morrisett) (Correct)
No context found.
Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., and Lee, P. 1996. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, NY, USA, 181--192.
Strict Bidirectional Type Checking - Adam Chlipala Computer Self-citation (Harper) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, PA, May 1996.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) Self-citation (Harper) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In 1996.
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (4 citations) Self-citation (Morrisett) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: a type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, PA, May 1996.
Scalable Certification of Native Code: Experience from.. - Grossman, Morrisett (2000) Self-citation (Morrisett) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: a type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, PA, May 1996.
Alias Types - Smith, Walker, Morrisett (1999) (26 citations) Self-citation (Morrisett) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, May 1996.
Type Refinements - Harper, Pfenning (2001) Self-citation (Harper) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-- 192, Philadelphia, PA, May 1996.
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (54 citations) Self-citation (Morrisett) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In 1996.
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (4 citations) Self-citation (Morrisett) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: a type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, PA, May 1996.
A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) Self-citation (Stone Harper) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 181--192, 1996.
Optimizing ML with Run-Time Code Generation - Detex Paper Wc (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In Submitted to PLDI'96, 1995.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: a typedirected optimizing compiler for ML. In Proceedings of the ACM SIGPLAN 1996 pages 181--192, New York, 1996. ACM Press. ISBN 0-89791-795-2.
Method Inlining, Dynamic Class Loading, and Type Soundness - Glew, Palsberg (2004) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, PA, USA, May 1996. ACM Press.
A Typed Intermediate Language for Flow-Directed Compilation - Wells, Dimock, Muller.. (1997) (14 citations) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In PLDI '95 [21].
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proc. ACM SIGPLAN '96 Conf. Prog. Lang. Design & Impl., 1996.
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proc. ACM SIGPLAN '96 Conf. Prog. Lang. Design & Impl., 1996.
Compiling Standard ML to Java - An (Correct)
No context found.
D. Tarditi, G. Morrisett, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of the 1996.
Project Description - We Propose To (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181--192, Philadelphia, PA, May 1996.
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (5 citations) (Correct)
No context found.
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, Philadelphia PA, May 1996.
Symbolic Transfer Function-based Approaches to Certified Compilation - Rival (2004) (1 citation) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A Type-Directed Optimizing Compiler for ML. In PLDI'96, pages 181--192. ACM Press, 1996.
Heap Bounded Assembly Language - Aspinall, Compagnoni (2003) (1 citation) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, , and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of 1996.
Program Representation Size in an Intermediate.. - Dimock.. (2000) (Correct)
No context found.
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proc. ACM SIGPLAN '96 Conf. Prog. Lang. Design & Impl., 1996.
First 50 documents Next 50
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