default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 12

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 12, Number 1, April 1999

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT99
Olivier Danvy, Carolyn L. Talcott:
Editorial. 5
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ClingerHO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ClingerHO99
William D. Clinger, Anne Hartheimer, Eric Ost:
Implementation Strategies for First-Class Continuations. 7-45
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Thielecke99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Thielecke99
Hayo Thielecke:
Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC. 47-73
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lillibridge99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lillibridge99
Mark Lillibridge:
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. 75-104
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Sandewall99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Sandewall99
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

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT99a
Olivier Danvy, Carolyn L. Talcott:
Introduction. 123-124
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BartheHS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BartheHS99
Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
CPS Translations and Applications: The Cube and Beyond. 125-170
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mason99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Mason99
Ian A. Mason:
Computing with Contexts. 171-201
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lee99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lee99
Chin Soon Lee:
Partial Evaluation of the Euclidean Algorithm, Revisited. 203-212

Volume 12, Number 3, October 1999

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT99c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT99c
Olivier Danvy, Carolyn L. Talcott:
Editorial. 219
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Steele99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Steele99
Guy L. Steele Jr.:
Growing a Language. 221-236
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AikenWP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/AikenWP99
Alexander Aiken, Edward L. Wimmers, Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping. 237-282
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Wand99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Wand99
Mitchell Wand:
Continuation-Based Multiprocessing Revisited. 283
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Wand99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Wand99a
Mitchell Wand:
Continuation-Based Multiprocessing. 285-299

Volume 12, Number 4, December 1999

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT99b
Olivier Danvy, Carolyn L. Talcott:
Editorial. 307-308
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChirokoffCM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ChirokoffCM99
Sandrine Chirokoff, Charles Consel, Renaud Marlet:
Combining Program and Data Specialization. 309-335
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HornofJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HornofJ99
Luke Hornof, Trevor Jim:
Certifying Compilation and Run-Time Code Generation. 337-375
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Futamura99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Futamura99
Yoshihiko Futamura:
Partial Evaluation of Computation Process, Revisited. 377-380
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Futamura99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Futamura99a
Yoshihiko Futamura:
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler. 381-391

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.