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
    runs on