Lifted Java: A Minimal Calculus for Translation Polymorphism. - Matthias Diehn Ingesman; Erik Ernst (J. Object Technol., 2012)