External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 23, Issue 4

    409 -- 431Manuel Serrano, Christian Queinnec. A multi-tier semantics for Hop
    433 -- 463Bryan Chadwick, Karl J. Lieberherr. A functional approach to generic programming using adaptive traversals
    465 -- 487Peter 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
    489 -- 506Wouter Swierstra. More dependent types for distributed arrays

    Volume 23, Issue 3

    273 -- 274John P. Gallagher, Janis Voigtländer. Editorial
    275 -- 313Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.. Context-sensitive analysis without calling-context
    315 -- 335Stefan Holdermans, Jurriaan Hage. Making "stricterness" more relevant
    337 -- 370Fritz Henglein, Ken Friis Larsen. Generic multiset programming with discrimination-based joins and symbolic Cartesian products
    371 -- 407Johannes Rudolph, Peter Thiemann. Mnemonics: type-safe bytecode generation at run time

    Volume 23, Issue 2

    145 -- 166Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. A lean specification for GADTs: system F with first-class equality proofs
    167 -- 189David Herman, Aaron Tomb, Cormac Flanagan. Space-efficient gradual typing
    191 -- 226Gudmund Grov, Greg Michaelson. Hume box calculus: robust system development through software transformation
    227 -- 271Neil Sculthorpe, Henrik Nilsson. Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change

    Volume 23, Issue 1

    1 -- 27Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linearity and iterator types for Gödel s System
    29 -- 86Fausto Spoto, Étienne Payet. Magic-sets for localised analysis of Java bytecode
    87 -- 143Axel Simon, Andy King. The two variable per inequality abstract domain
    runs on