Travelled to:1 × USA
Collaborated with:D.Rémy Oana Fabiana Andreescu T.P.Jensen S.Lescuyer
Talks about:type (2) existenti (1) abstract (1) analysi (1) static (1) correl (1) condit (1) modul (1) model (1) infer (1)
Person: Benoît Montagu
DBLP: Montagu:Beno=icirc=t
Contributed to:
20092019Wrote 2 papers:
- POPL-2009-MontaguR #data type #modelling
- Modeling abstract types in modules with open existential types (BM, DR), pp. 354–365.
- POPL-2019-AndreescuJLM #analysis #correlation
- Inferring frame conditions with static correlation analysis (OFA, TPJ, SL, BM), p. 29.