Travelled to:
1 × France
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:
E.Zucca Y.Wang H.Zhang B.C.d.S.Oliveira G.Lagorio Isaac Oscar Gariano J.N.0001 J.Mackay A.Potanin J.Noble
Talks about:
circular (4) languag (3) meta (3) placehold (2) composit (2) modular (2) librari (2) class (2) activ (2) java (2)
Person: Marco Servetto
DBLP: Servetto:Marco
Contributed to:
Wrote 8 papers:
- ECOOP-2013-ServettoMPN #composition
- The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.
- PEPM-2013-ServettoZ #library
- A meta-circular language for active libraries (MS, EZ), pp. 117–126.
- PEPM-J-2013-ServettoZ14 #library
- A meta-circular language for active libraries (MS, EZ), pp. 219–253.
- OOPSLA-2010-ServettoZ #composition #java #named
- MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
- ECOOP-2009-LagorioSZ #calculus #composition
- Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
- GPCE-2016-WangZOS #java
- Classless Java (YW, HZ, BCdSO, MS), pp. 14–24.
- ECOOP-2018-WangZOS #formal method #named
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding (YW, HZ, BCdSO, MS), p. 30.
- Onward-2019-Gariano0S #named
- CallƐ: an effect system for method calls (IOG, JN0, MS), pp. 32–45.