A compositional logic for polymorphic higher-order functions (2004)

by Kohei Honda, Nobuko Yoshida
Venue:In PPDP ’04: Proceedings of the 6th ACM SIGPLAN international