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
• 
  Chin Soon 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

last updated on Sat May 18 06:27:37 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page