Andrew Cave

According to our database, Andrew Cave authored at least 8 papers between 2012 and 2018.

Collaborative distances:

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

2018

Mechanizing proofs with logical relations - Kripke-style.

Andrew Cave, Brigitte Pientka

Math. Struct. Comput. Sci., 2018

2016

Mechanizing Proofs about Mendler-style Recursion.

Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016

Indexed codata types.

David Thibodeau, Andrew Cave, Brigitte Pientka

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

2015

A Case Study on Logical Relations using Contextual Types.

Andrew Cave, Brigitte Pientka

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

Inductive Beluga: Programming Proofs.

Brigitte Pientka, Andrew Cave

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Fair reactive programming.

Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

First-class substitutions in contextual type theory.

Andrew Cave, Brigitte Pientka

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

2012

Programming with binders and indexed data-types.

Andrew Cave, Brigitte Pientka

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012