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

Drafts and Technical Reports