Reinforcing programming language concepts through implementation in a concept-based course
Timothy V. Fossum, Susan Haller · Journal of computing sciences in colleges · 2003
In this paper, we present an implementation-based programming assignment that illuminates the concept of type equivalence and that can be used in a concept-based approach to teaching programming languages.