The Xtatic experience

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. The Xtatic experience. Technical Report MS-CIS-04-24, University of Pennsylvania, October 2004.

The aim of the present paper is to discuss Xtatic - less formally and more holistically - from the perspective of language design. We survey the most significant issues we faced in the design process and evaluate the choices we have made in addressing them.

As you'd expect a lot of time is spent explaining the design decisions concerning the type system.

More Xtatic papers here.