Higher-Order and Symbolic Computation, Volume 12

Volume 12, Number 1, April 1999

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

Volume 12, Number 2, September 1999

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

Volume 12, Number 3, October 1999

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

Volume 12, Number 4, December 1999

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