Higher-Order and Symbolic Computation, Volume 12

Volume 12, Number 1, April 1999

• Olivier Danvy, Carolyn L. Talcott: Editorial. 5
• William D. Clinger, Anne Hartheimer, Eric Ost: Implementation Strategies for First-Class Continuations. 7-45
• Hayo Thielecke: Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC. 47-73
• Mark Lillibridge: Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. 75-104
• Erik Sandewall: An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. 105-113

Volume 12, Number 2, September 1999

• Olivier Danvy, Carolyn L. Talcott: Introduction. 123-124
• Gilles Barthe, John Hatcliff, Morten Heine Sørensen: CPS Translations and Applications: The Cube and Beyond. 125-170
• Ian A. Mason: Computing with Contexts. 171-201
• C. S. Lee: Partial Evaluation of the Euclidean Algorithm, Revisited. 203-212

Volume 12, Number 3, October 1999

• Olivier Danvy, Carolyn L. Talcott: Editorial. 219
• Guy L. Steele Jr.: Growing a Language. 221-236
• Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping. 237-282
• Mitchell Wand: Continuation-Based Multiprocessing Revisited. 283
• Mitchell Wand: Continuation-Based Multiprocessing. 285-299

Volume 12, Number 4, December 1999

• Olivier Danvy, Carolyn L. Talcott: Editorial. 307-308
• Sandrine Chirokoff, Charles Consel, Renaud Marlet: Combining Program and Data Specialization. 309-335
• Luke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. 337-375
• Yoshihiko Futamura: Partial Evaluation of Computation Process, Revisited. 377-380
• Yoshihiko Futamura: Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler. 381-391