Statistics
Publications
4
Citations
104
H-Index
4
Active since
2012
Affiliations
McGill University(Current)
Andrew Cave is an author at McGill University specializing in type checking, computing, and programming languages.
Publications per year
2012–2014
4
4
Andrew Cave, Francisco Ferreira, Prakash Panangaden et al. · 2014 · 38 citations
Programming with binders and indexed data-types
Andrew Cave, Brigitte Pientka · ACM SIGPLAN Notices · 2012 · 29 citations
Programming with binders and indexed data-types
Andrew Cave, Brigitte Pientka · 2012 · 22 citations
First-class substitutions in contextual type theory
Andrew Cave, Brigitte Pientka · 2013 · 15 citations
1–4 of 4