Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHigher-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 - 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
