On 21/03/2014, at 18:59 PM, Kim Bruce <kim at cs.pomona.edu> wrote: > Almost all theoretical work in OO languages (at least in the 90s) used structural types and types meant the set of public methods and > their types well a few more citations wouldn't go amiss. And ever since FJ things went nominal. J