Typed representation of objects by functions, TOPLAS (1989)

by J Steensgaard-Madsen