Search

Bibtex

Matthias Diehn Ingesman, Erik Ernst, Lifted Java: A Minimal Calculus for Translation Polymorphism

Back