A lean specification for GADTs: system F with first-class equality proofs Arie MiddelkoopAtze DijkstraS. Doaitse Swierstra OriginalPaper Open access 23 July 2011 Pages: 145 - 166
Space-efficient gradual typing David HermanAaron TombCormac Flanagan OriginalPaper 21 October 2011 Pages: 167 - 189
Hume box calculus: robust system development through software transformation Gudmund GrovGreg Michaelson OriginalPaper 09 June 2011 Pages: 191 - 226
Keeping calm in the face of change Neil SculthorpeHenrik Nilsson OriginalPaper 09 June 2011 Pages: 227 - 271