[TYPES] Object-oriented calculi

[David Teller]

Have you looked at Abadi & Cardelli's _A calculus of objects_ ?

On Mon, 2008-02-25 at 01:55 +0000, Daniel Yokomizo wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations.