default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 19

> 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 19, Number 1, March 2006

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyMPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyMPT06
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann:
Editorial. 5
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Martel06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Martel06
Matthieu Martel:
Semantics of roundoff error propagation in finite precision calculations. 7-30
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mine06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Mine06
Antoine Miné:
The octagon abstract domain. 31-100
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/NandivadaJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/NandivadaJ06
V. Krishna Nandivada, Suresh Jagannathan:
Dynamic state restoration using versioning exceptions. 101-124
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PottierG06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/HonsellT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HonsellT06
Furio Honsell, Carolyn L. Talcott:
Editorial. 167-168
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Norrish06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/HickeyN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HickeyN06
Jason Hickey, Aleksey Nogin:
Formal compiler construction in a logical framework. 197-230
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Hamana06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Hamana06
Makoto Hamana:
An initial algebra approach to term rewriting systems with variable binders. 231-262
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GhaniUH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GhaniUH06
Neil Ghani, Tarmo Uustalu, Makoto Hamana:
Explicit substitutions and higher-order syntax. 263-282
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GadducciMM06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/TanakaP06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyFGKMT06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/BertolissiCK06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/Levy06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/lisp/HillS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HillS06
Patricia M. Hill, Fausto Spoto:
Deriving escape analysis by abstract interpretation. 415-463

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.