Andrew Cave

PhD student in Computer Science
McGill University
McConnell Engineering Building, Rm 225
email

Research

I work on type systems, logic, and foundations for reasoning about and programming with binders and substitution.

Andrew Cave and Brigitte Pientka. Programming with Binders and Indexed Data-types, 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12)

Andrew Cave, Francisco Ferreira, Prakash Panangaden and Brigitte Pientka. Fair Reactive Programming. Draft. 2013.