Travelled to:1 × Canada
1 × China
1 × Cyprus
1 × Norway
1 × Portugal
1 × Slovenia
1 × Sweden
1 × Switzerland
Collaborated with:G.M.Bierman K.K.Thorup E.Meijer ∅ M.Abadi C.P.Hansen E.Ernst P.v.d.Ahé G.Bracha N.M.Gafter C.V.Russo G.Mainland
Talks about:program (3) languag (3) type (3) ad (3) wildcard (2) generic (2) formal (2) java (2) sup (2) understand (1)
Person: Mads Torgersen
DBLP: Torgersen:Mads
Contributed to:
201420122010
20072004
20042004
20011999Wrote 9 papers:
- ECOOP-2014-BiermanAT #comprehension #typescript
- Understanding TypeScript (GMB, MA, MT), pp. 257–281.
- ECOOP-2012-BiermanRMMT #c# #formal method #game studies
- Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
- ECOOP-2010-BiermanMT #c#
- Adding Dynamic Types to C# (GMB, EM, MT), pp. 76–100.
- OOPSLA-2007-BiermanMT #c# #formal method
- Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.
- ECOOP-2004-Torgersen #problem #revisited
- The Expression Problem Revisited (MT), pp. 123–143.
- 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.
- TOOLS-EUROPE-2001-ThorupT #object-oriented #programming language
- Genericity in Object-Oriented Programming Languages (KKT, MT), pp. 180–181.
- ECOOP-1999-ThorupT
- Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.