Combining algebra and higher-order types (1988)

by V Breazu-Tannen
Venue:In Proc. of the 3rd Symp. on Logic in Computer Science, IEEE Computer Society