Compilation based on a calculus for explicit type passing (1996)

by Y Minamide
Venue:In Proceedings of Fuji International Workshop on Functional and Logic Programming