Aliya Hameer

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Causal Relations

Functional Programming

Quantifier Elimination

Learning Environment

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark
POPLMark reloaded: Mechanizing proofs by logical relations. J. Funct. Program. 29 (2019)
Aliya Hameer, Brigitte Pientka
Teaching the art of functional programming using automated grading (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)