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