default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 21

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on 18 of 18 records

view refined list in

export refined list as

showing all 18 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 21, Numbers 1-2, June 2008

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LawallLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LawallLS08
Julia Lawall, Michael Leuschel, Peter Sestoft:
Editorial. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BarkerLV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BarkerLV08
Steve Barker, Michael Leuschel, Mauricio Varea:
Efficient and flexible access control via Jones-optimal logic program specialisation. 5-35
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Debois08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Debois08
Søren Debois:
Imperative-program transformation by instrumented-interpreter specialization. 37-58
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DuranLMMU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DuranLMMU08
Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain:
Proving operational termination of membership equational programs. 59-88
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HuMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HuMT08
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. 89-118
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HulaasB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HulaasB08
Jarle Hulaas, Walter Binder:
Program transformations for light-weight CPU accounting and control in the Java virtual machine. 119-146
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/OchoaSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/OchoaSV08
Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing of lazy functional programs based on redex trails. 147-192
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PettorossiP08
Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. 193-234
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiP08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PettorossiP08a
Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. 235
no results

Volume 21, Number 3, September 2008

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyDLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyDLT08
Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann:
Editorial. 237-238
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Skalka08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Skalka08
Christian Skalka:
Types and trace effects for object orientation. 239-282
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Gluck08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Gluck08
Robert Glück:
An investigation of Jones optimality and BTI-universal specializers. 283-309
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BischofHN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BischofHN08
Christian H. Bischof, Paul D. Hovland, Boyana Norris:
On the implementation of automatic differentiation tools. 311-331
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ZiarekWJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ZiarekWJ08
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. 333-358
no results

Volume 21, Number 4, December 2008

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyM08
Olivier Danvy, Ian A. Mason:
Editorial. 359
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SiskindP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SiskindP08
Jeffrey Mark Siskind, Barak A. Pearlmutter:
Nesting forward-mode AD in a functional framework. 361-376
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/OwensS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/OwensS08
Scott Owens, Konrad Slind:
Adapting functional programs to higher order logic. 377-409
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Amtoft08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Amtoft08
Torben Amtoft:
Flow-sensitive type systems and the ambient calculus. 411-442
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.