McGill University — Canada
Computer Science · Physical Sciences
2h-index46citations3works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Teaching and Learning Programming(2), Logic, programming, and type systems(1), Formal Methods in Verification(1), Software Engineering Research(1), Software Testing and Debugging Techniques(1)
Publications3 total
Proceedings of the ACM on Programming Languages·2019· 16 citedOpen Access
Artifact Digital Object Group·2019
Journal of Functional Programming·2019· 30 citedOpen Access
Frequent Co-authors
Brigitte Pientka(3), Andreas Abel(1), Guillaume Allais(1), Alberto Momigliano(1), Steven Schäfer(1), Kathrin Stark(1)