conf.researchr.org / David Thibodeau
Not registered as user yet
Name: David Thibodeau
Affiliation: McGill University, Canada
Contributions
| TTT 2017 | Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track |
| ICFP 2016 | Author of Indexed Codata Types within the Research Papers-track |