1. Domain-free pure type systems;Barthe;Journal of Functional Programming,2000
2. Representing control: a study of the CPS translation;Danvy;Mathematical Structures in Computer Science,1992
3. Explicitly typed λμ-calculus for polymorphism and call-by-value;Fujita,1999
4. Partially typed terms between Church-style and Curry-style;Fujita,2000
5. Galois embedding from polymorphic types into existential types;Fujita,2005