Richard Kelsey, Jonathan Rees, Mike Sperber
A line may take us hours, yet if it does not seem a moment’s thought All our stitching and unstitching has been as nought. ii
On the Interaction between Mobile Processes and Objects (2007)
Suresh Jagannathan, Richard Kelsey
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client/server-based distributed systems. However, there are a number of...
Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming (2007)
Henry Cejtin, Suresh Jagannathan, Richard Kelsey
We describe a distributed implementation of Scheme that permits efficient transmission of higherorder objects such as closures and continuations. The integration of distributed communication...
The Incomplete Scheme 48 Reference Manual (2007)
For Release, Richard Kelsey, Jonathan Rees
with a chapter by Mike Sperber A line may take us hours, yet if it does not seem a moment's thought All our stitching and unstitching has been as nought.
Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, William Clinger, ...
This document describes rationales for some of the design decisions behind the Revised 6 Report on the Algorithmic Language Scheme. The focus is on changes made since the last revision on the report....
Michael Sperber, William Clinger, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, ...
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...
Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, William Clinger, ...
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...
Scheme — Standard Libraries — (2007)
Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, William Clinger, ...
The report gives a defining description of the standard libraries of the programming language Scheme.
Michael Sperber, William Clinger, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Richard Kelsey, ...
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...
Transparent Communication for Distributed Objects in Java (1999)
Michael Hicks Suresh, Michael Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
We describe a native-code implementation of Java that supports distributed objects. In order to foster the correctness of distributed programs, remote access is syntactically and semantically...
Transparent Communication for Distributed Objects in Java (1999)
Michael Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
We describe a native-code implementation of Java that supports distributed objects. In order to foster the correctness of distributed programs, remote access is syntactically and semantically...
Transparent Communication for Distributed Objects in Java (1999)
Michael Hicks Suresh, Michael Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
We describe a native-code implementation of Java that supports distributed objects. In order to foster the correctness of distributed programs, remote access is syntactically and semantically...
Revised 5 report on the algorithmic language Scheme (1998)
Richard Kelsey, William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, ...
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, H. Abelson, R. K. Dybvig, C. T. Haynes, ...
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, H. Abelson, R. K. Dybvig, C. T. Haynes, ...
The report gives a de ning 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, H. Abelson, R. K. Dybvig, C. T. Haynes, ...
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tailrecursive dialect of the Lisp programming language invented by Guy Lewis...
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, H. Abelson, R. K. Dybvig, C. T. Haynes, ...
syntax K 2 Con constants, including quotations I 2 Ide identifiers (variables) E 2 Exp expressions \Gamma 2 Com = Exp commands Exp \Gamma! K j I j (E 0 E*) j (lambda (I*) \Gamma* E 0 ) j (lambda (I*...
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...
A Correspondence between Continuation Passing Style and Static Single Assignment Form (1995)
We define syntactic transformations that convert continuation passing style (CPS) programs into static single assignment form (SSA) and vice versa. Some CPS programs cannot be converted to SSA, but...
Tail-Recursive Stack Disciplines for an Interpreter (1993)
Many languages, including Scheme, ML, and Haskell, require that their implementations support tail-recursive calls to arbitrary depth. This requirement means that a traditional stack discipline...
Tail-Recursive Stack Disciplines for an Interpreter (1992)
Many languages, including Scheme, ML, and Haskell, require that their implementations support tail-recursive calls to arbitrary depth. This requirement means that a traditional stack discipline...
Realistic Compilation by Program Transformation (1989)
Using concepts from denotational semantics, we have produced a very simple compiler that can be used to compile standard programming languages and produces object code as efficient as that of...