|
|
Luca Cardelli
|
Lucacardelli.name has 2 URLs listed in 2 Dmoz categories.
Cardelli, Luca
Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.
http://lucacardelli.name
Top/Computers/Computer_Science/People/C
|
|
|
|
