David Thibodeau

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 7

Top Topics

Noisy Observations

Programming Education

Propositional Dynamic Logic

Top Venues

Math. Struct. Comput. Sci.

Publications

Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini
Cocon: Computation in Contextual Type Theory. CoRR (2019)
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
A Type Theory for Defining Logics and Proofs. CoRR (2019)
Alberto Momigliano, Brigitte Pientka, David Thibodeau
A case study in programming coinductive proofs: Howe's method. Math. Struct. Comput. Sci. 29 (8) (2019)
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini
A Type Theory for Defining Logics and Proofs. LICS (2019)
Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau
Index-Stratified Types (Extended Version). CoRR (2018)
Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau
Index-Stratified Types. FSCD (2018)
David Thibodeau, Andrew Cave, Brigitte Pientka
Indexed codata types. ICFP (2016)
Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau
Unnesting of Copatterns. RTA-TLCA (2014)
Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
Copatterns: programming infinite structures by observations. POPL (2013)