default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHigher-Order and Symbolic Computation, Volume 23
Volume 23, Number 1, March 2010
- Sandra Alves
, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and iterator types for Gödel's System. 1-27 - Fausto Spoto, Étienne Payet:
Magic-sets for localised analysis of Java bytecode. 29-86 - Axel Simon, Andy King:
The two variable per inequality abstract domain. 87-143
Volume 23, Number 2, June 2010
- Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
A lean specification for GADTs: system F with first-class equality proofs. 145-166 - David Herman, Aaron Tomb, Cormac Flanagan:
Space-efficient gradual typing. 167-189 - Gudmund Grov, Greg Michaelson:
Hume box calculus: robust system development through software transformation. 191-226 - 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
- John P. Gallagher, Janis Voigtländer:
Editorial. 273-274 - Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.:
Context-sensitive analysis without calling-context. 275-313 - Stefan Holdermans, Jurriaan Hage:
Making "stricterness" more relevant. 315-335 - Fritz Henglein, Ken Friis Larsen:
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. 337-370 - Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. 371-407
Volume 23, Number 4, November 2010
- Manuel Serrano, Christian Queinnec:
A multi-tier semantics for Hop. 409-431 - Bryan Chadwick, Karl J. Lieberherr:
A functional approach to generic programming using adaptive traversals. 433-463 - 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 - 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.
last updated on 2025-02-28 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
