Lambda the Ultimate

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.