Type Destructors

Martin Hofmann, Benjamin C. Pierce. Type Destructors. Inf. Comput., 172(1):29-62, 2002. [doi]

Abstract

Abstract is missing.