[TYPES] Objects in type theory

Kim Bruce kbbruce47 at gmail.com
Tue Jan 16 01:23:11 EST 2018

A paper not cited in that one that may be relevant is Comparing Object Encodings,  <http://www.cs.pomona.edu/~kim/README.html#Comp>by Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce, Information and Computation 155(1999), pp 108-133.  My book, Foundations of Object-Oriented Languages: Types and Semantics, MIT Press, 2002, goes into more detail on the encodings, including details on handling super accesses.  Of course, Pierce’s text, Types and Programming Languages, 2002, also from MIT Press, discusses many of these issues in the context of a broader look at types.  Lots of the work on foundations for Scala should also be relevant.

Kim Bruce.

> On Jan 11, 2018, at 4:37 PM, Tim Sweeney <tim.sweeney at epicgames.com> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> Hickey's 1996 "Formal Objects in Type Theory using Very Dependent Types" (
> http://www.cs.cornell.edu/jyh/papers/fool3/paper.pdf) laid an interesting
> type theoretical foundation for object oriented programming constructs.
> I'm seeking references on any later work in this direction. ...
> Thanks,
> Tim Sweeney

More information about the Types-list mailing list