TIL: a Type-directed Optimizing Compiler for ML

DSpace/Manakin Repository

TIL: a Type-directed Optimizing Compiler for ML

Citable link to this page


Title: TIL: a Type-directed Optimizing Compiler for ML
Author: Tarditi, David; Harper, Robert; Morrisett, John Gregory; Cheng, Perry; Stone, Christopher; Lee, Peter

Note: Order does not necessarily reflect citation order of authors.

Citation: Tarditi, David, Greg Morrisett, Peter Cheng, Christopher Stone, Robert Harper, and Peter Lee. Til: a type-directed optimizing compiler for ml. In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, pages 181-192, New York, NY, USA, 1996. ACM
Full Text & Related Files:
Published Version: http://doi.acm.org/10.1145/231379.231414
Terms of Use: This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAA
Citable link to this page: http://nrs.harvard.edu/urn-3:HUL.InstRepos:2797452
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search