Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Randy Pollack
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
Registered user since Fri 4 Sep 2015
Name:
Randy Pollack
Affiliation:
Harvard University
Personal website:
http://homepages.inf.ed.ac.uk/rpollack/
Contributions
2017
CoqPL
Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
2016
CoqPL
Committee Member in Program Committee within the CoqPL-track
Share
x
Thu 21 Nov 20:23
