G. Keller
发表
Sidney Amani,
Gernot Heiser,
Yutaka Nagashima,
2016,
ASPLOS.
G. Keller,
Sean Lee,
2009
.
Gabriele Keller,
G. Keller,
2007
.
G. Keller,
F. Kammüller,
M. Simons,
2003
.
G. Keller,
F. Kammüller,
M. Simons,
2007
.
G. Keller,
F. Kammüller,
M. Simons,
2003
.
G. Heiser,
Zilin Chen,
C. Rizkallah,
2022,
SLE.
G. Heiser,
Zilin Chen,
Liam O'Connor,
2017
.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2005,
ICFP '05.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2005,
POPL '05.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2008,
FSTTCS.
Manuel M. T. Chakravarty,
Gabriele Keller,
Patryk Zadarnowski,
2004,
COCV@ETAPS.
Manuel M. T. Chakravarty,
Gabriele Keller,
Roman Lechtchinsky,
2001,
Euro-Par.
M. Chakravarty,
G. Keller,
2007
.
Toby C. Murray,
GABRIELE KELLER,
LIAM O’CONNOR,
2021,
Journal of Functional Programming.
Manuel M. T. Chakravarty,
Gabriele Keller,
Hugh Chaffey-Millar,
2007
.
Simon Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2008
.
Manuel M. T. Chakravarty,
Gabriele Keller,
Hugh Chaffey-Millar,
2008,
PADL.
MANUEL M. T. CHAKRAVARTY,
GABRIELE KELLER,
M. Chakravarty,
2004,
Journal of Functional Programming.
Toby Murray,
Gabriele Keller,
Gerwin Klein,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Manuel M. T. Chakravarty,
Derek Dreyer,
Gabriele Keller,
2007,
POPL '07.
Yike Guo,
John Darlington,
Manuel M. T. Chakravarty,
1997,
Proceedings. Advances in Parallel and Distributed Computing.
Manuel M. T. Chakravarty,
Gabriele Keller,
Sean Lee,
2011,
DAMP '11.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2010,
ICFP '10.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Gabriele Keller,
2007,
DAMP '07.
Frank Dignum,
Mehdi Dastani,
Gabriele Keller,
2021,
A-TEST@ESEC/SIGSOFT FSE.
Joshua D. Meredith,
G. Keller,
T. L. McDonell,
2021,
Haskell.
Manuel M. T. Chakravarty,
Gabriele Keller,
Sean Seefried,
2004,
GPCE.