CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (61)

Coquand, Thierry
Chalmers University of Technology, Sweden
D
de Moura, Leonardo
Microsoft Research, Redmond
Friedman, Harvey
Ohio State University
K
Kaliszyk, Cezary
University of Innsbruck
Kotelnikov, Evgenii
Chalmers University of Technology
Liang, Hongjin
University of Science and Technology of China
Pąk, Karol
University of Bialystok, Institute of Computer Science
Reger, Giles
University of Manchester
Voronkov, Andrei
University of Manchester