Luca Cardelli

Luca Cardelli

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.

He was born in Montecatini Terme, Italy. He attended the University of Pisa before receiving his Ph. D. from the University of Edinburgh in 1982. Before joining Microsoft Research in 1997, he worked for Bell Labs and DEC.

In 2004 he was inducted as a Fellow of the Association for Computing Machinery. He is a Fellow of the Royal Society. In 2007, Cardelli was awarded the Senior AITO Ole-Johan Dahl and Kristen Nygaard prize [http://www.aito.org/Dahl-Nygaard/2007.html] .

External links

* [http://lucacardelli.name/ Official site]
* [http://lucacardelli.name/Biography.htm Biography]
* [http://www-plan.cs.colorado.edu/diwan/5535-99/p471-cardelli.pdf] Paper entitled "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli and Peter Wegner
* [http://doc.cat-v.org/programming/bad_properties_of_OO Bad Engineering Properties of Object-Oriented Languages] by Luca Cardelli
* [http://www.computerworld.com.au/index.php/id;1422447371;fp;4194304;fpid;1 Computerworld Interview with Luca Cardelli]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

  • Modula-3 — Paradigm(s) imperative, structured, modular Appeared in 1980s Designed by DEC and Olivetti …   Wikipedia

  • Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… …   Wikipedia

  • Ambient calculus — In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility. Here mobility means both computation carried… …   Wikipedia

  • Polymorphie (Programmierung) — Polymorphie (griechisch, „Vielgestaltigkeit“) ist ein Konzept in Programmiersprachen, das die Fähigkeit eines Bezeichners beschreibt, abhängig von seiner Verwendung unterschiedliche Datentypen anzunehmen. Das Gegenteil der Polymorphie ist die… …   Deutsch Wikipedia

  • Späte Bindung — Polymorphie (griechisch, „Vielgestaltigkeit“) ist die Fähigkeit eines Bezeichners – der einen Festwert (Literal) oder eine Variable repräsentieren kann – sich abhängig von seiner Verwendung unterschiedlich darzustellen. Sie erlaubt dem Bezeichner …   Deutsch Wikipedia

  • Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… …   Wikipedia

  • Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… …   Wikipedia

  • Typeful programming — In computer science typeful programming is a programming style identified by widespread use of type information handled through mechanical typechecking techniques. The concept was introduced in a scientific paper of the same name published by… …   Wikipedia

  • Baby modula-3 — is a subset of the Modula 3 programming language invented by Martín Abadi. It is a language for studying object oriented design in computer sciences. It was not implemented.Martín Abadi tried to give an example of an object oriented language… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”