ask others

Higher-Order and Symbolic Computation, Volume 19

> Home > Journals > Higher-Order and Symbolic Computation

Volume 19, Number 1, March 2006

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/DanvyMPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/DanvyMPT06
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann:
Editorial. 5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/Martel06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/Martel06
Matthieu Martel:
Semantics of roundoff error propagation in finite precision calculations. 7-30
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/lisp/Mine06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/Mine06
Antoine Miné:
The octagon abstract domain. 31-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/NandivadaJ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/NandivadaJ06
V. Krishna Nandivada, Suresh Jagannathan:
Dynamic state restoration using versioning exceptions. 101-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/PottierG06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/PottierG06
François Pottier, Nadji Gauthier:
Polymorphic typed defunctionalization and concretization. 125-162

Volume 19, Numbers 2-3, September 2006

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/HonsellT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/HonsellT06
Furio Honsell, Carolyn L. Talcott:
Editorial. 167-168
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/Norrish06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/Norrish06
Michael Norrish:
Mechanising lambda-calculus using a classical first order theory of terms with permutations. 169-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/HickeyN06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/HickeyN06
Jason Hickey, Aleksey Nogin:
Formal compiler construction in a logical framework. 197-230
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/Hamana06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/Hamana06
Makoto Hamana:
An initial algebra approach to term rewriting systems with variable binders. 231-262
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/GhaniUH06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/GhaniUH06
Neil Ghani, Tarmo Uustalu, Makoto Hamana:
Explicit substitutions and higher-order syntax. 263-282
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/GadducciMM06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/GadducciMM06
Fabio Gadducci, Marino Miculan, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. 283-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/TanakaP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/TanakaP06
Miki Tanaka, John Power:
Pseudo-distributive laws and axiomatics for variable binding. 305-337

Volume 19, Number 4, December 2006

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/DanvyFGKMT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/DanvyFGKMT06
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott:
Editorial. 343-344
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/BertolissiCK06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/BertolissiCK06
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Expressing combinatory reduction systems derivations in the rewriting calculus. 345-376
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/Levy06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/Levy06
Paul Blain Levy:
Call-by-push-value: Decomposing call-by-value and call-by-name. 377-414
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lisp/HillS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lisp/HillS06
Patricia M. Hill, Fausto Spoto:
Deriving escape analysis by abstract interpretation. 415-463

maintained by

, founded at