Write a Blog >>
CoqPL 2019
Sat 19 Jan 2019 Cascais, Portugal
co-located with POPL 2019
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (32)

D
Danvy, Olivier
Yale-NUS College, SingaporeSingapore
Gligoric, Milos
University of Texas at AustinUnited States
Gopinathan, Kiran
University College LondonUnited Kingdom
Gruetter, Samuel
Massachusetts Institute of Technology
Gu, Ronghui
Columbia University, USAUnited States
L
Lukyanov, Georgy
Newcastle University, UKUnited Kingdom
M
Mansky, William
University of Illinois at ChicagoUnited States
P
Palmskog, Karl
University of Texas at AustinUnited States
Peña, Lucas
University of Illinois at Urbana-Champaign
R
Ringer, Talia
University of WashingtonUnited States
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
Z
Zaliva, Vadim
Carnegie Mellon University, USAUnited States
Zdancewic, Steve
University of PennsylvaniaUnited States