CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Luca Cardelli

A person who researches object-oriented systems and their type systems, as well as general programming language issues.

• His home page, with many excellent papers.

---

This page is linked from: Obliq   Programming Languages   Type System