Type-Directed Programming For Programming Education. - Alasdair Lambert; Stuart Gale (ITiCSE (2), 2025)

Double Acts for Demystifying Subroutine Calling Conventions. - Alasdair Lambert; Stuart Gale; Ezra Schoen (ITiCSE (2), 2025)