Chung-Kil Hur - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Registered user since Thu 16 Jun 2016

Name:Chung-Kil Hur

Affiliation:Seoul National University

Contributions

2016

CoqPL

A Tutorial on using the Paco Library for coinductive reasoning

POPL

LAFI

Committee Member in Program Committee within the PPS 2016-track

Show activities from other conferences

POPL 2016-profile
View general profile