default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 14

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on 14 of 14 records

view refined list in

export refined list as

showing all 14 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 14, Number 1, March 2001

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT01
Olivier Danvy, Carolyn L. Talcott:
Editorial. 5
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DouenceS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DouenceS01
Rémi Douence, Mario Südholt:
A Generic Reification Technique for Object-Oriented Reflective Languages. 7-34
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Karczmarczuk01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Karczmarczuk01
Jerzy Karczmarczuk:
Functional Differentiation of Computer Programs. 35-57
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SabelfeldS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SabelfeldS01
Andrei Sabelfeld, David Sands:
A Per Model of Secure Information Flow in Sequential Programs. 59-91
no results

Volume 14, Number 2-3, September 2001

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyL01
Olivier Danvy, Julia L. Lawall:
Editorial. 99-100
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SumiiK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SumiiK01
Eijiro Sumii, Naoki Kobayashi:
A Hybrid Approach to Online and Offline Partial Evaluation. 101-142
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GallagherP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GallagherP01
John P. Gallagher, Julio C. Peralta:
Regular Tree Languages as an Abstract Domain in Program Specialisation. 143-172
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GrobauerY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GrobauerY01
Bernd Grobauer, Zhe Yang:
The Second Futamura Projection for Type-Directed Partial Evaluation. 173-219
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Kobayashi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Kobayashi01
Naoki Kobayashi:
Type-Based Useless-Variable Elimination. 221-260
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChinK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ChinK01
Wei-Ngan Chin, Siau-Cheng Khoo:
Calculating Sized Types. 261-300
no results

Volume 14, Number 4, December 2001

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyIT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyIT01
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott:
Editorial. 307
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BiagioniHL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BiagioniHL01
Edoardo Biagioni, Robert Harper, Peter Lee:
A Network Protocol Stack in Standard ML. 309-356
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Moreau01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Moreau01
Luc Moreau:
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation. 357-386
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/XiaoSA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/XiaoSA01
Yong Xiao, Amr Sabry, Zena M. Ariola:
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. 387-409
no results

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.