Folgen
Aliya Hameer
Aliya Hameer
McGill University
Bestätigte E-Mail-Adresse bei mail.mcgill.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3