Seguir
Aliya Hameer
Aliya Hameer
McGill University
Dirección de correo verificada de mail.mcgill.ca - Página principal
Título
Citado por
Citado por
Año
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19, 2019
412019
Teaching the art of functional programming using automated grading (experience report)
A Hameer, B Pientka
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-15, 2019
192019
Teaching the Art of Functional Programming Using Automated Grading
A Hameer
McGill University (Canada), 2020
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3