Andrew Cave
PhD student in Computer Science
McGill University
McConnell Engineering Building, Rm 225
email
Research
I work on types and programming languages.
I'm advised by
Brigitte Pientka
Publications
Andrew Cave and Brigitte Pientka.
A Case Study on Logical Relations using Contextual Types
.
LFMTP 2015
.
Brigitte Pientka and Andrew Cave.
Inductive Beluga: Programming Proofs
(System description).
CADE 2015
.
Andrew Cave, Francisco Ferreira, Prakash Panangaden and Brigitte Pientka.
Fair Reactive Programming
.
POPL 2014
.
[Long version]
Andrew Cave and Brigitte Pientka.
First-class substitutions in contextual type theory
.
LFMTP 2013
.
[Agda code]
Andrew Cave and Brigitte Pientka.
Programming with Binders and Indexed Data-types
. POPL 2012.
Drafts and Technical Reports