Cardelli, Luca ( Visit this link)
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.
Site Preview
Alexa Traffic Graph
Reviews
No reviews.