• Sign in
  • Sign up
conf.researchr.org / David Thibodeau
  • ICFP 2016 profile
  • POPL 2017 profile

Not registered as user yet

Name:David Thibodeau
Affiliation:McGill University, Canada

Contributions

2017

TTT

  • Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track

2016

ICFP

  • Author of Indexed Codata Types within the Research Papers-track
Share
xWed 6 Dec 01:18
using conf.researchr.org (v1.62.0)
Support page
Sign Up