An investigation of Jones optimality and BTI-universal specializers

Robert Glück. An investigation of Jones optimality and BTI-universal specializers. Higher-Order and Symbolic Computation, 21(3):283-309, 2008. [doi]

Abstract

Abstract is missing.