Travelled to:
1 × Switzerland
Collaborated with:
E.Ernst
Talks about:
polymorph (2) translat (2) calculus (2) minim (2) lift (2) java (2)
Person: Matthias Diehn Ingesman
DBLP: Ingesman:Matthias_Diehn
Contributed to:
Wrote 2 papers:
- TOOLS-EUROPE-2011-IngesmanE #calculus #java #morphism #polymorphism
- Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 179–193.
- TOOLS-EUROPE-J-2011-IngesmanE12 #calculus #java #morphism #polymorphism
- Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 1–23.