Sites similar to Lucacardelli.Name
Luca Cardelli
Description: 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 ...
Popular Searches: lucacardelli
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: computer
Full text of book online in HTML. "A popular sketch of a great historical character who ought to be more popular."
Site rating:
3.0 / 5.0, Language: English
Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.
Site rating:
3.0 / 5.0, Language: English
Department of Computer Sciences
Site rating:
3.0 / 5.0, Language: English
School of Computer Science. Research groups focus on advanced compilers, architectures and programming systems, Java tools, artificial intelligence, database ...
Site rating:
3.0 / 5.0, Language: English
Collection of programming-related links.
Site rating:
3.0 / 5.0, Language: English
With a long tradition of excellence dating back to the 1960's, Dartmouth's CS program has a world-class faculty on the cutting edge of computing and research.
Site rating:
3.0 / 5.0, Language: English
Theoretical and applied machine learning guy. Contact information and selected publications.
Site rating:
3.0 / 5.0, Language: English
Almost certainly the best blog about taste, product design, user experience, and game mechanics on the internets.
Site rating:
3.0 / 5.0, Language: English
Related results:
sites similar to Novaspivack.Typepad
sites similar to Eden.Dei.Uc.Pt
sites similar to Nilo.Stolte.Free.Fr
sites similar to Informatics.Sussex.Ac.Uk
sites similar to Users.Dimi.Uniud.It
Home.Dei.Polimi.It alternatives
Cs.Brown.Edu alternatives
Billday alternatives
Oldwww.Acm.Org alternatives
Moshesipper alternatives
sites similar to Eden.Dei.Uc.Pt
sites similar to Nilo.Stolte.Free.Fr
sites similar to Informatics.Sussex.Ac.Uk
sites similar to Users.Dimi.Uniud.It
Home.Dei.Polimi.It alternatives
Cs.Brown.Edu alternatives
Billday alternatives
Oldwww.Acm.Org alternatives
Moshesipper alternatives