フォロー
Aliya Hameer
Aliya Hameer
McGill University
確認したメール アドレス: mail.mcgill.ca - ホームページ
タイトル
引用先
引用先
年
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–3