default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHigher-Order and Symbolic Computation, Volume 14
Volume 14, Number 1, March 2001
- Olivier Danvy
, Carolyn L. Talcott:
Editorial. 5 - Rémi Douence, Mario Südholt:
A Generic Reification Technique for Object-Oriented Reflective Languages. 7-34 - Jerzy Karczmarczuk:
Functional Differentiation of Computer Programs. 35-57 - Andrei Sabelfeld, David Sands:
A Per Model of Secure Information Flow in Sequential Programs. 59-91
Volume 14, Number 2-3, September 2001
- Olivier Danvy, Julia L. Lawall:
Editorial. 99-100 - Eijiro Sumii, Naoki Kobayashi:
A Hybrid Approach to Online and Offline Partial Evaluation. 101-142 - John P. Gallagher, Julio C. Peralta:
Regular Tree Languages as an Abstract Domain in Program Specialisation. 143-172 - Bernd Grobauer, Zhe Yang:
The Second Futamura Projection for Type-Directed Partial Evaluation. 173-219 - Naoki Kobayashi:
Type-Based Useless-Variable Elimination. 221-260 - Wei-Ngan Chin, Siau-Cheng Khoo:
Calculating Sized Types. 261-300
Volume 14, Number 4, December 2001
- Olivier Danvy, Takayasu Ito, Carolyn L. Talcott:
Editorial. 307 - Edoardo Biagioni, Robert Harper, Peter Lee:
A Network Protocol Stack in Standard ML. 309-356 - Luc Moreau:
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation. 357-386 - Yong Xiao, Amr Sabry, Zena M. Ariola:
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. 387-409
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 2025-03-01 15:13 CET 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:
