Maintaining Dynamic State: Deep, Shallow, and Parallel (2008)
Christopher T. Haynes, Richard M. Salter
In the presence of rst-class continuations, shallow maintenance of dynamic bindings requires more than the traditional stack-based techniques. This paper provides correctness criteria for such...
Abstract Expansion-Passing Style: A General Macro Mechanism* (2008)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
The traditional Lisp macro expansion facility inhibits several important forms of expansion control. These include selective expansion of subexpressions, expansion of subexpressions using modified...
Christopher T. Haynes, R. Kent Dybvig, Daniel P. Friedman, Lorilee Sadler, George Springer
the utility of the curricular materials developed by this project. 1 Introduction The Scheme programming language was initially designed at MIT to support research in programming languages [19]. The...
Source-tracking Unification using semi-Dyck labeled reachability (2004)
Venkatesh Choppella, Christopher T. Haynes
We propose a path-based framework for deriving and simplifying source-tracking information for first-order term unification in the empty theory. Such a framework is useful for diagnosing...
Source-tracking Unification (2003)
Abstract. We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugging...
Essentials of Programming Languages (2001)
Friedman, Daniel P., Wand, Mitchell, Haynes, Christopher T., Abelson, Hal (pról.)
Obra en que se explican los principales conceptos relativos a los lenguajes de programación, desde un punto de vista analítico, a la vez que se da la semántica de muchos elementos de los lenguajes...
Essentials of Programming Languages (2001)
Friedman, Daniel P., Wand, Mitchell, Haynes, Christopher T., Abelson, Hal (pról.)
0-262-06217-8
Revised^5 Report on the Algorithmic Language Scheme (1998)
H. Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo J. Rozas, ...
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis...
Revised^5 Report on the Algorithmic Language Scheme (1998)
Richard Kelsey, William Clinger, Jonathan Rees (editors, Jonathan Rees, H. Abelson, ...
Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. Scheme demonstrates...
Revised^5 Report on the Algorithmic Language Scheme (1998)
Richard Kelsey, William Clinger, Jonathan Rees (editors, Jonathan Rees, H. Abelson, ...
Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. Scheme demonstrates...
Maintaining Dynamic State: Deep, Shallow, and Parallel (1995)
Christopher T. Haynes, Richard M. Salter
In the presence of first-class continuations, shallow maintenance of dynamic bindings requires more than the traditional stack-based techniques. This paper provides correctness criteria for such...
Diagnosis of Ill-typed Programs (1995)
Venkatesh Choppella, Christopher T. Haynes
A framework, based on syntactic and type constraints, is provided for defining program slices that contribute to a given type error or similar syntactic property. We specify soundness, minimality and...
Type Reconstruction for Variable-Arity Procedures (1994)
Hsianlin Dzeng, Christopher T. Haynes
We extend the ML-style type system with variable-arity procedures, supporting both optional arguments and arbitrarily long argument sequences. The language with variable-arity procedures is encoded...
Infer: A Statically-typed Dialect of Scheme - Preliminary Tutorial and Documentation (1993)
this document. Reports of further bugs, as well as design suggestions, are welcome. 2 Tutorial
Infer: A statically-typed dialect of scheme (1992)
| Limited distribution draft |
Revised^4 Report on the Algorithmic Language Scheme (1991)
William Clinger, Jonathan Rees, Jonathan Rees (editors, Hal Abelson, ...
Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. Scheme demonstrates...
Expansion-Passing Style: A General Macro Mechanism (1988)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
The traditional Lisp macro expansion facility inhibits several important forms of expansion control. These include selective expansion of subexpressions, expansion of subexpressions using modified...