Higher-Order and Symbolic Computation
Volume 12, Issue 1 (April 1999) Special Issue on the second ACM Workshop on Continuations (CW 1997)
| p. 5 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 7-45 |
Implementation Strategies for First-Class Continuations
William D. Clinger, Anne H. Hartheimer and Eric M. Ost [abstract | full text] |
| pp. 47-73 |
Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Hayo Thielecke [abstract | full text] |
| pp. 75-104 |
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
Mark Lillibridge [abstract | full text] |
| pp. 105-113 |
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus
Erik Sandewall [abstract | full text] |
Volume 12, Issue 2 (September 1999)
| pp. 123-124 |
Introduction
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 125-170 |
CPS Translations and Applications: The Cube and Beyond
Gilles Barthe, John Hatcliff and Morten Heine B. Sørensen [abstract | full text] |
| pp. 171-201 |
Computing with Contexts
Ian A. Mason [abstract | full text] |
| pp. 203-212 |
Partial Evaluation of the Euclidean Algorithm, Revisited
C.S. Lee [abstract | full text] |
Volume 12, Issue 3 (October 1999)
| p. 219 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 221-236 |
Growing a Language
Guy L. Steele Jr. [full text | local copy] |
| pp. 237-282 |
Optimal Representations of Polymorphic Types with Subtyping
Alexander Aiken, Edward L. Wimmers and Jens Palsberg [abstract | full text] |
| p. 283 |
Continuation-Based Multiprocessing Revisited
Mitchell Wand [full text | local copy] |
| pp. 285-299 |
Continuation-Based Multiprocessing
Mitchell Wand [abstract | full text | local copy] |
Volume 12, Issue 4 (December 1999) Special Issue on the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999)
| pp. 307-308 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 309-335 |
Combining Program and Data Specialization
Sandrine Chirokoff, Charles Consel and Renaud Marlet [abstract | full text] |
| pp. 337-375 |
Certifying Compilation and Run-Time Code Generation
Luke Hornof and Trevor Jim [abstract | full text] |
| pp. 377-380 |
Partial Evaluation of Computation Process, Revisited
Yoshihiko Futamura [full text | local copy] |
| pp. 381-391 |
Partial Evaluation of Computation Process -- An Approach to a Compiler-Compiler
Yoshihiko Futamura [abstract | full text | local copy] |