An ideal model for recursive polymorphic types (1986)

by David MacQueen, Gordon Plotkin, Ravi Sethi
Venue:Information and Control