Types Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
type systems
dependent types
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
type systems
session types
View Professor Profile
Professor
Professor Profile
Janice Hwang
Yale School of Medicine United States of America
type 1
type 2
View Professor Profile
Professor
Professor Profile
Raimund Herzog
Yale School of Medicine United States of America
type 1
type 2
View Professor Profile
Professor
Professor Profile
Jason Bini
Yale University United States of America
type 1
type 2
View Professor Profile
Professor
Professor Profile
William Tamborlane
Yale University United States of America
type 1
type 2
View Professor Profile
Professor
Professor Profile
Nils Danielsson
University of Gothenburg Sweden
logic types
type checking
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
types
View Professor Profile
Professor
Professor Profile
Jean-philippe Bernardy
University of Gothenburg Sweden
types
View Professor Profile
Professor
Professor Profile
Sophia Drossopoulou
Imperial College London United Kingdom
types
View Professor Profile
Professor
Professor Profile
Ningning Xie
University of Toronto Canada
type systems
View Professor Profile
Professor
Professor Profile
Tobias Wrigstad
Uppsala University Sweden
type systems
View Professor Profile
Professor
Professor Profile
Jana Dunfield
Queen's University Canada
type systems
View Professor Profile
Professor
Professor Profile
Nir Piterman
University of Gothenburg Sweden
type systems
View Professor Profile
Professor
Professor Profile
Koen Claessen
University of Gothenburg Sweden
type systems
View Professor Profile
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
type systems
View Professor Profile
Professor
Professor Profile
Stephan Zdancewic
University of Pennsylvania United States of America
type systems
View Professor Profile
Professor
Professor Profile
Philip Wadler
University of Edinburgh United Kingdom
type systems
View Professor Profile
Professor
Professor Profile
Nir Piterman
Chalmers University of Technology Sweden
type systems
View Professor Profile
Professor
Professor Profile
Aarne Ranta
Chalmers University of Technology Sweden
type systems
View Professor Profile
Professor
Professor Profile
Christian Urban
King's College London United Kingdom
type systems
View Professor Profile
First
Prev
Page 1 | 131 Results
Next