Jørgen Steensgaard-Madsen Type Representation of Objects by Functions. 67-89 1989 11 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/59287.77345 db/journals/toplas/toplas11.html#Steensgaard-Madsen89