Kim Nguyen
发表
Giuseppe Castagna,
Véronique Benzaken,
Laurent Daynès,
2018,
WWW.
Giuseppe Castagna,
Hyeonseung Im,
Véronique Benzaken,
2015,
ESOP.
Gonzalo Navarro,
Sebastian Maneth,
Diego Arroyuelo,
2009,
ArXiv.
Luca Padovani,
Giuseppe Castagna,
Hyeonseung Im,
2014,
POPL.
Gonzalo Navarro,
Sebastian Maneth,
Diego Arroyuelo,
2010,
ICDE.
Giuseppe Castagna,
Kim Nguyen,
2008,
PLAN-X.
Giuseppe Castagna,
Dario Colazzo,
Véronique Benzaken,
2006,
VLDB.
Larry A. Coldren,
Daniel J. Blumenthal,
John E. Bowers,
2009,
OPTO.
Giuseppe Castagna,
Véronique Benzaken,
Jérôme Siméon,
2013,
POPL.
Kim Nguyen,
Tri Tran,
Richard Murphy,
2003
.
Tanja Lange,
Frederik Vercauteren,
Henri Cohen,
2005
.
Giuseppe Castagna,
Julien Demouth,
Stefano Zacchiroli,
2011
.
Giuseppe Castagna,
Kim Nguyen,
Tommaso Petrucciani,
2016,
ICFP.
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
Giuseppe Castagna,
Pietro Abate,
Kim Nguyen,
2015,
POPL.
Giuseppe Castagna,
Dario Colazzo,
Véronique Benzaken,
2013,
TODS.
Kim Nguyen,
Andrew Weigl,
2005
.
Sebastian Maneth,
Kim Nguyen,
S. Maneth,
2010,
Proc. VLDB Endow..
Kim Nguyen,
Pascal Berthomé,
Sylvain Lebresne,
2005,
WG.