Rank 2 type systems and recursive definitions (1993)

by T Jim
Venue:ACM Transactions on Programming Languages and Systems