Andrew Cave

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Logical Structure

Theorem Proving

Decision Procedures

Complex Data Types

Top Venues

Math. Struct. Comput. Sci.

Publications

Andrew Cave, Brigitte Pientka
Mechanizing proofs with logical relations - Kripke-style. Math. Struct. Comput. Sci. 28 (9) (2018)
Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka
Mechanizing Proofs about Mendler-style Recursion. LFMTP (2016)
David Thibodeau, Andrew Cave, Brigitte Pientka
Indexed codata types. ICFP (2016)
Brigitte Pientka, Andrew Cave
Inductive Beluga: Programming Proofs. CADE (2015)
Andrew Cave, Brigitte Pientka
A Case Study on Logical Relations using Contextual Types. LFMTP (2015)
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
Fair reactive programming. POPL (2014)
Andrew Cave, Brigitte Pientka
First-class substitutions in contextual type theory. LFMTP (2013)
Andrew Cave, Brigitte Pientka
Programming with binders and indexed data-types. POPL (2012)