Aliya Hameer
Title
Cited by
Cited by
Year
POPLMark reloaded: Mechanizing proofs by logical relations.
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
J. Funct. Program. 29, e19, 2019
102019
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
32019
The system can't perform the operation now. Try again later.
Articles 1–2