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