See this document in CiteSeerX!

TIL: A Type-Directed Optimizing Compiler for ML (1995)  (Make Corrections)  (210 citations)
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee
Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
cornell.edu/faculty/home/jg...pldi96.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cornell.edu/faculty/home/j...home (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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