default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 22

> 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 22, Number 1, March 2009

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyP09
Olivier Danvy, Julian A. Padget:
Editorial. 1
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HirschowitzLW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HirschowitzLW09
Tom Hirschowitz, Xavier Leroy, J. B. Wells:
Compilation of extended recursion in call-by-value functional languages. 3-66
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/NaylorR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/NaylorR09
Matthew Naylor, Colin Runciman:
Expressible sharing for functional circuit description. 67-80
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BressonAA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BressonAA09
Jean Bresson, Carlos Agón, Gérard Assayag:
Visual Lisp/CLOS programming in OpenMusic. 81-111

Volume 22, Number 2, June 2009

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT09
Olivier Danvy, Carolyn L. Talcott:
Editorial. 113
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Stump09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Stump09
Aaron Stump:
Directly reflective meta-programming. 115-144
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Monniaux09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Monniaux09
David Monniaux:
A minimalistic look at widening operators. 145-154
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/JohannG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/JohannG09
Patricia Johann, Neil Ghani:
A principled approach to programming with nested types in Haskell. 155-189
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Danvy09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Danvy09
Olivier Danvy:
Peter J. Landin (1930-2009). 191-195

Volume 22, Number 3, September 2009

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT09a
Olivier Danvy, Carolyn L. Talcott:
Editorial. 197
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DargayeL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DargayeL09
Zaynah Dargaye, Xavier Leroy:
A verified framework for higher-order uncurrying optimizations. 199-231
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AriolaHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/AriolaHS09
Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A type-theoretic foundation of delimited continuations. 233-273
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Asai09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Asai09
Kenichi Asai:
On typing delimited continuations: three new solutions to the printf problem. 275-291

Volume 22, Number 4, December 2009

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT09b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyT09b
Olivier Danvy, Carolyn L. Talcott:
Editorial. 293
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Bornat09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Bornat09
Richard Bornat:
Peter Landin: a computer scientist who inspired a generation. 295-298
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Boca09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Boca09
Paul Boca:
Personal recollections of Peter Landin: 1987-2009. 299-303
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HammondM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/HammondM09
Kevin Hammond, Greg Michaelson:
The Peter Landin prize. 305-312
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Tennent09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Tennent09
Robert D. Tennent:
An introduction to Landin's "Getting Rid of Labels". 313-314
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Landin09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Landin09
Peter J. Landin:
Getting rid of labels. 315-329
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Clark09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Clark09
Tony Clark:
Stories about calculations: remembering Peter Landin. 331-332
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Landin09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Landin09a
Peter J. Landin:
Calculations. 333-359

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.