Design Problems
The Unexplained Different Kinds of Functions
The Proliferation of Types
jwalker@cs.oberlin.edu