Predicative polymorphism in the -calculus (1994)

by V T Vasconcelos
Venue:In Proceedings of 5th Conference on Parallel Architectures and Languages (PARLE 94