D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee  Home/Search
Context Related
Links: DBLP | cornell.edu/faculty/home/jg...pldi96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cornell.edu/faculty/home/j...home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document are those of the authors and should not be interpreted as representing official policies, either expressed or implied, of the Advanced Research Projects Agency, the U.S. Government, the National Science Foundation or AT&T. (Update)
Cited by: More
Optimizing ML with Run-Time Code Generation - Detex Paper Wc (Correct)
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (Correct)
Related documents from co-citation: More All
42: Compiling with Continuations (context) - Appel - 1992
39: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
38: A type-based compiler for Standard ML - Shao, Appel - 1994
BibTeX entry: (Update)
David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. Submitted for publication, 1995. http://citeseer.ist.psu.edu/tarditi95til.html More
@inproceedings{ tarditi96til,
author = "D. Tarditi and G. Morrisett and P. Cheng and C. Stone and R. Harper and P. Lee",
title = "{TIL}: {A} Type-Directed Optimizing Compiler for {ML}",
booktitle = "Proc. {ACM} {SIGPLAN} '96 Conference on Programming Language Design and Implementation",
pages = "181--192",
year = "1996",
url = "citeseer.ist.psu.edu/tarditi95til.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www2.cs.cornell.edu/faculty/home/jgm/home.html): More
Optimistic Parallelization - Morrisett, Herlihy (1993) (Correct)
TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
The TIL/ML Compiler: Performance and Safety through Types - Morrisett, Tarditi.. (1996) (Correct)
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