Higher-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
  

Last update Mon May 20 01:28:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page