Type-Directed Programming For Programming Education.

Alasdair Lambert, Stuart Gale

Browse the full ITiCSE paper archive.