Travelled to:
1 × France
1 × Germany
1 × Hungary
1 × Portugal
1 × Slovenia
1 × Spain
1 × USA
2 × Cyprus
2 × Switzerland
Collaborated with:
∅ M.D.Ingesman A.B.Madsen A.B.Nielsen B.D.Fraine M.Südholt N.R.Cameron S.Drossopoulou K.Ostermann W.R.Cook M.Torgersen C.P.Hansen P.v.d.Ahé G.Bracha N.M.Gafter J.G.Thomsen C.Clausen K.J.Andersen J.Danaher
Talks about:
java (5) calculus (4) class (4) polymorph (3) wildcard (3) languag (3) translat (2) virtual (2) program (2) minim (2)
♂ Person: Erik Ernst
DBLP: Ernst:Erik
Facilitated 3 volumes:
Contributed to:
Wrote 14 papers:
- ECOOP-2013-ThomsenCADE #invariant
- Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.
- 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.
- ECOOP-2010-Ernst
- Secret Valley (EE), p. 379.
- ECOOP-2010-FraineES #aspect-oriented #calculus
- Essential AOP: The A Calculus (BDF, EE, MS), pp. 101–125.
- TOOLS-EUROPE-2010-MadsenE #parametricity
- Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.
- ECOOP-2008-CameronDE #java
- A Model for Java with Wildcards (NRC, SD, EE), pp. 2–26.
- TOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing
- Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
- POPL-2006-ErnstOC #calculus
- A virtual class calculus (EE, KO, WRC), pp. 270–282.
- SAC-2004-TorgersenHEABG #java #programming language
- Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.
- SAC-PL-J-2004-TorgersenEHABG #java #programming language
- Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.
- ECOOP-2003-Ernst #higher-order
- Higher-Order Hierarchies (EE), pp. 303–328.
- ECOOP-2001-Ernst #morphism #polymorphism #product line
- Family Polymorphism (EE), pp. 303–326.
- ECOOP-1999-Ernst
- Propagating Class and Method Combination (EE), pp. 67–91.