Functorial polymorphism: Theoretical computer science 70 (1990) 35-64

• 10 April 1990
• journal article
• correction
• Published by Elsevier in Theoretical Computer Science
• Vol. 71  (3) , 431
• https://doi.org/10.1016/0304-3975(90)90055-m

Abstract