An open and shut typecase (2005)

by Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
Venue:In Types in Language Design and Implementation