Aliya Hameer

According to our database, Aliya Hameer authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Teaching the art of functional programming using automated grading (experience report).

Aliya Hameer, Brigitte Pientka

Proc. ACM Program. Lang., 2019

POPLMark reloaded: Mechanizing proofs by logical relations.

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark

J. Funct. Program., 2019