External Links

    Journal: Higher-Order and Symbolic Computation

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