Combining Algebra and Higher-Order Types

Val Tannen Combining Algebra and Higher-Order Types 82-90 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#Breazu-Tannen88a