Manuel Fähndrich and Alexander Aiken June 1997
In: Proceedings of the 1st Workshop on Types in Compilation
