Safe-for-Space Threads in Standard ML \Lambda (2009)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Abstract Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard...
Web Publishing with a DAMP (2008)
Mac Os X, Mac Os X, Jason Mcintosh, Chuck Toporek, Chris Stone, Mac Os X, ...
DAMP is an acronym for Darwin, Apache, MySQL, and PHP/Perl/Python, the components necessary to create a powerful and scalable open source webpublishing platform on a Mac OS Xsystem. It’s actually a...
RETROSPECTIVE: ABSTRACT TIL: A Type-Directed, Optimizing Compiler for ML (2008)
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone
The goal of the TIL project was to explore the use of Typed Intermediate Languages to produce high-performance native code from Standard ML (SML). We believed that existing SML compilers were doing a...
Feasibility of an appliance energy testing and labeling program for Sri Lanka (2000)
Biermayer, Peter, Busch, John, Hakim, Sajid, Turiel, Issac, Du Pont, Peter, Stone, Chris
A feasibility study evaluated the costs and benefits of establishing a program for testing, labeling and setting minimum efficiency standards for appliances and lighting in Sri Lanka. The feasibility...
Implementing the TILT internal language (2000)
Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
The TILT compiler for Standard ML represents programs internally using a predicative lambda calculus based on Girard’s Fω. At the kind level, this language is notable for containing singleton...
Implementing the TILT internal language (2000)
Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
The TILT compiler for Standard ML represents programs internally using a predicative lambda calculus based on Girard's F. At the kind level, this language is notable for containing singleton...
Implementing the TILT internal language (2000)
Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
The TILT compiler for Standard ML represents programs internally using a predicative lambda calculus based on Girard's F!. At the kind level, this language is notable for containing singleton...
Implementing the TILT internal language (2000)
Leaf Petersen, Perry Cheng, Robert Harper, Chris Stone
The TILT compiler for Standard ML represents programs internally using a predicative lambda calculus based on Girard's F!. At the kind level, this language is notable for containing singleton...
Safe-for-Space Threads in Standard ML (1998)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We...
Transparent and Opaque Interpretations of Datatypes (1998)
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, Chris Stone, Signature Sig
type along with introduction and elimination functions for that type [2]: signature SIG1 opaque = sig type u type t = u * u val u in : (u * u + int) -? u val u out : u -? (u * u + int) end signature...
A Type-Theoretic Interpretation of Standard ML (1998)
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 or...
A Type-Theoretic Interpretation of Standard ML (1998)
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 or...
Transparent and Opaque Interpretations of Datatypes (1998)
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, Chris Stone
this document are those of the authors and should not be interpreted as representing official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the U.S....
Safe-for-Space Threads in Standard ML (1998)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We...
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, Chris Stone
Standard ML employs an opaque (or generative) interpretation of datatype type that is di erent from any other type, including other identically speci ed datatypes. An alternative interpretation is...
Transparent and opaque interpretations of datatypes (1998)
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, Chris Stone
views and conclusions contained in this document are those of the authors and should not be interpreted as representing o cial policies, either expressed or implied, of the Defense Advanced Research...
TIL: A type-directed optimizing compiler for ML (1996)
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization, and...
The TIL/ML Compiler: Performance and Safety through Types (1996)
Greg Morrisett, David Tarditi, Perry Cheng, Chris Stone, P. Cheng, Peter Lee, ...
Systems code requires both high performance and reliability. Usually, these two goals are at odds with each other. For example, to prevent kernel data structures from being over-written or read,...
TIL: A Type-Directed Optimizing Compiler for ML (1996)
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization, and...
A Type-Theoretic Account of Standard ML 1996 (Version 2) (1996)
A type-theoretic definition of a variant of the Standard ML (Revised 1996) programming language is given. The definition consists of a syntax-directed elaboration of SML '96 programs into a...
TIL: A Type-Directed Optimizing Compiler for ML (1995)
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization, and...
TIL: A Type-Directed, Optimizing Compiler for ML (1995)
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
The goal of the TIL project was to explore the use of Typed Intermediate Languages to produce high-performance native code from Standard ML (SML). We believed that existing SML compilers were doing a...