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 updated on Thu May 23 04:31:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page