joline
Joline is a class-based object-oriented programming language sporting deep ownership types and external uniqueness. Joline was fully formalized in Wrigstad's dissertaton (2006). We have implemented Joline using the Polyglot extensible compiler framework.
The compiler is available upon request.