Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time

John Peterson. Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. In FPCA. pages 89-99, 1989. [doi]

Abstract

Abstract is missing.