CPS-translations and applications: the cube and beyond (1999)

by G Barthe, J Hatcliff, M H Sørensen
Venue:Higher-Order and Symbolic Computation