Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aliya Hameer
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
Registered user since Tue 19 Jun 2018
Name:
Aliya Hameer
Affiliation:
McGill University
Contributions
2020
ICFP
Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track
2019
ICFP
Author of Teaching the Art of Functional Programming Using Automated Grading (Experience Report) within the Research Papers-track
2018
ICFP
Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of Tutorials)
Author of T04: Beluga: Programming Proofs About Formal Systems within the Tutorials-track
Share
x
Tue 5 Nov 14:25