Luca Cardelli

Luca Cardelli

male
Microsoft Research, Fellow of the Association for Computing Machinery, computer scientist, Montecatini Terme, operational semantics, Type theory…MLprogramminglanguage, typeful programming, programming language, Functional programming
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is...