On Functors Expressible in the Polymorphic Lambda Calculus (1990)

by J C Reynolds, G D Plotkin
Venue:Logical Foundations of Functional Programming, University of Texas at Austin Year of Programming Series