Följ
Aliya Hameer
Aliya Hameer
Verifierad e-postadress på mail.mcgill.ca - Startsida
Titel
Citeras av
Citeras av
År
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
402019
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3