LucaCardelli

One of the designers of ModulaThree. Author of the book ATheoryOfObjects (with MartinAbadi) and of quite a lot of research papers about TypefulProgramming and ObjectOrientation, e.g.

• "BadEngineeringPropertiesOfOoLanguages"
• "EverythingIsAnObject"
• "OnUnderstandingTypes"

Now at MicrosoftResearch (http://research.microsoft.com/~luca/). Home page at http://lucacardelli.name/

---

CategoryAuthor CategoryPerson CategoryMicrosoft