POPLMark reloaded: Mechanizing proofs by logical relations. - Andreas Abel 001; Guillaume Allais; Aliya Hameer; Brigitte Pientka; Alberto Momigliano; Steven Schäfer; Kathrin Stark (J. Funct. Program., 2019)

Teaching the art of functional programming using automated grading (experience report). - Aliya Hameer; Brigitte Pientka (Proc. ACM Program. Lang., 2019)