@ARTICLE\{IMM1989-01775, author = "J. Steensgaard-Madsen", title = "Typed Representation of Objects by Functions", year = "1989", month = "jan", keywords = "design; languages; theory", pages = "67-89", journal = "{ACM} Transactions on Programming Languages and Systems", volume = "11", editor = "", number = "1", publisher = "", url = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/77345-full.html", isbn_issn = "0164-0925" }