Your continued donations keep Wikipedia running!    

Luca Cardelli

From Wikipedia, the free encyclopedia

Jump to: navigation, search

An Italian computer scientist, currently working for Microsoft Research in Cambridge. Is 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 coined the concept of typeful programming.


[edit]

External links

  • [1] Biography of Luca Cardelli
  • [2] Paper entitled "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli and Peter Wegner


 This computer-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "