Dependently Typed Programming Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
John Reppy
University of Chicago United States of America
object-oriented programming
functional programming
parallel programming
concurrent programming
programming languages
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
dependently typed logics
higher-order typed programming languages
type theory
View Professor Profile
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
dependent types
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Fabian Bastin
University of Montreal Canada
stochastic programming
nonlinear programming
mathematical programming
View Professor Profile
Professor
Professor Profile
Martin Odersky
École Polytechnique Fédérale de Lausanne Switzerland
object-oriented programming
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Renato Monteiro
Georgia Institute of Technology United States of America
nonlinear programming
linear programming
convex programming
View Professor Profile
Professor
Professor Profile
Peter Dybjer
Chalmers University of Technology Sweden
functional programming
type theory
programming languages
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
functional programming
type theory
programming languages
View Professor Profile
Professor
Professor Profile
Nobuko Yoshida
University of Oxford United Kingdom
concurrent programming
type theory
programming languages
View Professor Profile
Professor
Professor Profile
Ilan Adler
University of California, Berkeley United States of America
mathematical programming
linear programming
convex programming
View Professor Profile
Professor
Professor Profile
Patrik Jansson
University of Gothenburg Sweden
dependently-typed programming
functional programming
View Professor Profile
Professor
Professor Profile
Dominic Verity
Macquarie University Australia
dependent type theory
programming languages
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
dependent type theory
programming languages
View Professor Profile
Professor
Professor Profile
Andreas Abel
University of Gothenburg Sweden
dependent type theory
programming languages
View Professor Profile
Professor
Professor Profile
Stephen Watt
University of Waterloo Canada
dependent types
categorical programming
View Professor Profile
Professor
Professor Profile
Stefan Monnier
University of Montreal Canada
dependent types
functional programming
View Professor Profile
Professor
Professor Profile
Peter Achten
Radboud University Netherlands
task oriented programming
functional programming
View Professor Profile
Professor
Professor Profile
Mart Lubbers
Radboud University Netherlands
task-oriented programming
functional programming
View Professor Profile
Professor
Professor Profile
Olivier Danvy
Aarhus University Denmark
object-oriented programming
functional programming
View Professor Profile
Professor
Professor Profile
Johan Eliasson
Umeå University Sweden
object-oriented programming
programming
View Professor Profile
Professor
Professor Profile
Jialu Zhang
University of Waterloo Canada
machine-aided programming
programming languages
View Professor Profile
First
Prev
Page 1 | 895 Results
Next