David Thibodeau
Affiliations:- McGill University, Montreal, Canada
According to our database1,
David Thibodeau
authored at least 8 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.mcgill.ca
On csauthors.net:
Bibliography
2019
Math. Struct. Comput. Sci., 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013