The Poppy object-oriented language

The idea for this project grew out of my PhD thesis: A Language with Class: The Theory of Classification Exemplified in an Object-Oriented Language, University of Sheffield, 1996. It aims to design and implement a novel object-oriented programming language, whose treatment of class follows the theory of function-bounded polymorphism in the second-order (and higher-order) λ-calculus. However, the concrete syntax of Poppy will avoid the use of nested type parameters and will instead support systematic type substitution as a way of describing the evolution of closed recursive types under inheritance, and the specialisation of field-types that would normally be handled by parametric instantiation. One of the main challenges is to develop an incremental compiler, that is capable of making late binding optimisations.

For more information see, http://staffwww.dcs.shef.ac.uk/people/A.Simons/poppy/