Web Directory

    Top: Computers: Computer_Science: People: C:

 

Cardelli, Luca

  Link Details for: Cardelli, Luca
Link Title: Cardelli, Luca Open in a new window
Link URL: http://lucacardelli.name
Link Details: 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.
Category: Top : Computers : Computer_Science : People : C
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Cardelli, Luca