1 Course progression Parallels between languages, including –sequencing, selection and repetition –abstraction mechanisms behavioral abstraction (e.g.
Course progression
A Type System for Higher-Order Modules
