Luca Cardelli
Encyclopedia : L : LU : LUC : Luca Cardelli
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.
External Links
- [link] Biography of Luca Cardelli
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.