Foundations of Modern Type Systems, Fall 1997