Dependent Types Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
dependent types
type systems
View Professor Profile
Professor
Professor Profile
Dominic Verity
Macquarie University Australia
dependent type theory
type systems
View Professor Profile
Professor
Professor Profile
Clément Pit-claudel
École Polytechnique Fédérale de Lausanne Switzerland
dependent types
View Professor Profile
Professor
Professor Profile
Stephen Watt
University of Waterloo Canada
dependent types
View Professor Profile
Professor
Professor Profile
Stefan Monnier
University of Montreal Canada
dependent types
View Professor Profile
Professor
Professor Profile
Andreas Abel
University of Gothenburg Sweden
dependent type theory
View Professor Profile
Professor
Professor Profile
Nils Danielsson
University of Gothenburg Sweden
dependent type theory
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
dependent type theory
View Professor Profile
Professor
Professor Profile
Nabarun Deb
University of Chicago United States of America
dependent data
View Professor Profile
Professor
Professor Profile
Quan Vu
Australian National University Australia
dependent data
View Professor Profile
Professor
Professor Profile
Wenjun Jiang
University of Calgary Canada
dependence structures
View Professor Profile
Professor
Professor Profile
Patrik Jansson
University of Gothenburg Sweden
dependently-typed programming
View Professor Profile
Professor
Professor Profile
Elizabeth Donnelly
University of Windsor Canada
dependence
View Professor Profile
Professor
Professor Profile
Ann-sofie Grönlund
Umeå University Sweden
dependence
View Professor Profile
Professor
Professor Profile
Marcus Nilsson
Umeå University Sweden
dependence
View Professor Profile
Professor
Professor Profile
Mohamedou Ould Haye
Carleton University Canada
dependence
View Professor Profile
Professor
Professor Profile
Tailen Hsing
University of Michigan United States of America
dependence
View Professor Profile
Professor
Professor Profile
Jamie Robertson
University of Toronto Canada
dependence
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
First
Prev
Page 1 | 107 Results
Next