M. Chakravarty
发表
Gerwin Klein,
K. Elphinstone,
David Cock,
2006,
Haskell '06.
M. Chakravarty,
I. Mejuev,
Akira Kumagai,
2007
.
Simon Winwood,
M. Chakravarty,
2011
.
I. Kuz,
M. Chakravarty,
2020
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2017
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2020
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2008
.
M. Chakravarty,
1999,
IFL.
Dinesh Manocha,
Naga K. Govindaraju,
Manuel M. T. Chakravarty,
2009
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2019
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2015
.
Manuel M. T. Chakravarty,
Daan Leijen,
Fergus Henderson,
2003
.
M. Sulzmann,
M. Chakravarty,
Simon L. Peyton,
2011
.
G. Heiser,
I. Kuz,
M. Chakravarty,
2019
.
Manuel M. T. Chakravarty,
Roman Leshchinskiy,
M. Chakravarty,
2009
.
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,
Hendrik C. R. Lock,
M. Chakravarty,
1997,
Comput. Lang..
Manuel M. T. Chakravarty,
Gabriele Keller,
Roman Lechtchinsky,
2001,
Euro-Par.
M. Chakravarty,
G. Keller,
2007
.
Yike Guo,
Manuel M. T. Chakravarty,
Martin Köhler,
1998,
Fuji International Symposium on Functional and Logic Programming.
Manuel M. T. Chakravarty,
Hendrik C. R. Lock,
M. Chakravarty,
1994,
ICLP Workshop: Integration of Declarative Paradigms.
Yike Guo,
Manuel M. T. Chakravarty,
Hendrik C. R. Lock,
1995,
Sci. Comput. Program..
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,
Stefan Wehr,
M. Chakravarty,
2008,
APLAS.
MANUEL M. T. CHAKRAVARTY,
GABRIELE KELLER,
M. Chakravarty,
2004,
Journal of Functional Programming.
Manuel M. T. Chakravarty,
Derek Dreyer,
Gabriele Keller,
2007,
POPL '07.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
Financial Cryptography Workshops.
Philip Wadler,
Manuel M. T. Chakravarty,
Orestis Melkonian,
2020
.
Aggelos Kiayias,
Matthias Fitzi,
Manuel M. T. Chakravarty,
2021,
Financial Cryptography.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Martin Sulzmann,
2007,
TLDI '07.
M. Chakravarty,
Orestis Melkonian,
2019
.
Simon Peyton Jones,
Tom Schrijvers,
Manuel M. T. Chakravarty,
2007
.
Manuel M. T. Chakravarty,
M. Chakravarty,
1997,
Implementation of Functional Languages.
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.
Manuel M. T. Chakravarty,
Sean Seefried,
André T. H. Pang,
2004,
Haskell '04.
Manuel M. T. Chakravarty,
Gerwin Klein,
Simon Winwood,
2006,
LOPSTR.
Manuel M. T. Chakravarty,
Gabriele Keller,
Sean Seefried,
2004,
GPCE.
I. Kuz,
M. Chakravarty,
2015
.