Segui
Aliya Hameer
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–3