Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the (non-pure) functional programming language ML and he defined the concept of typeful programming. Recently, he helped develop the Polyphonic C# experimental programming language. Wikipedia
...of Object-Oriented Languages Luca Cardelli Digital Equipment Corporation , Systems Research Center Abstract. Object-oriented languages dominate procedural languages in certain software-... doc.cat-v.org/various/bad_properties_of_OO
The definitive Wikipedia entry for Luca Cardelli. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Luca_Cardelli
Luca Cardelli Principal Researcher, Microsoft Research Cambridge Microsoft Corporation Luca Cardelli is a Principal Researcher at Microsoft Research Cambridge. He works with the Programming Principles and Tools Group and his main interests are in type cs.unc.edu/Events/Colloquia/1997.html
