Combining Algebra and Higher-order Types (1988)

by V Breazu-Tannen
Venue:In Proc. of LICS