Georg Neis
发表
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2013,
POPL.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2010,
POPL '10.
Georg Neis,
Derek Dreyer,
Andreas Rossberg,
2009,
ICFP.
Georg Neis,
Umut A. Acar,
Yan Chen,
2011,
OOPSLA '11.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2012,
POPL '12.
Georg Neis,
Derek Dreyer,
Andreas Rossberg,
2011,
J. Funct. Program..
Georg Neis,
2018
.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2015,
ICFP.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2012,
J. Funct. Program..
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2010,
ICFP '10.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2012
.
Chung-Kil Hur,
Georg Neis,
Derek Dreyer,
2014
.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2013
.