[TYPES] Object-oriented calculi

David Teller David.Teller at ens-lyon.org
Mon Feb 25 07:39:24 EST 2008


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. 



More information about the Types-list mailing list