David Thibodeau

According to our database, David Thibodeau authored at least 8 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

A case study in programming coinductive proofs: Howe's method.

Alberto Momigliano, Brigitte Pientka, David Thibodeau

Math. Struct. Comput. Sci., 2019

Cocon: Computation in Contextual Type Theory.

Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini

CoRR, 2019

A Type Theory for Defining Logics and Proofs.

Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Index-Stratified Types (Extended Version).

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau

CoRR, 2018

Index-Stratified Types.

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2016

Indexed codata types.

David Thibodeau, Andrew Cave, Brigitte Pientka

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2014

Unnesting of Copatterns.

Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Copatterns: programming infinite structures by observations.

Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013