Manuel M. T. Chakravarty

发表

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, 2020, ISoLA.
Manuel M. T. Chakravarty, Gabriele Keller, 1999, IPPS/SPDP Workshops.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2008, FSTTCS.
Manuel M. T. Chakravarty, Simon Winwood, 2005, Formal Aspects in Security and Trust.
Manuel M. T. Chakravarty, Leaf Petersen, 2009, POPL 2009.
Manuel M. T. Chakravarty, Trevor L. McDonell, Vinod Grover, 2015 .
Manuel M. T. Chakravarty, Gerwin Klein, Simon Winwood, 2006 .
Manuel M. T. Chakravarty, Hendrik C. R. Lock, M. Chakravarty, 1994, ICLP Workshop: Integration of Declarative Paradigms.
Manuel M. T. Chakravarty, 1999, IFL.
Manuel M. T. Chakravarty, André T. H. Pang, 2003, IFL.
Manuel M. T. Chakravarty, David Terei, 2009 .
Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, 2001, Euro-Par.
Manuel M. T. Chakravarty, Daan Leijen, Fergus Henderson, 2003 .
Manuel M. T. Chakravarty, Simon Winwood, 2011, TLDI '11.
Manuel M. T. Chakravarty, Gabriele Keller, 1999 .
Manuel M. T. Chakravarty, Sean Seefried, 2007 .
Manuel M. T. Chakravarty, Gabriele Keller, Trevor L. McDonell, 2017, Haskell.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2010, ICFP '10.
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, 2020, ISoLA.
Yike Guo, Manuel M. T. Chakravarty, Hendrik C. R. Lock, 1995, Sci. Comput. Program..
Manuel M. T. Chakravarty, Hendrik C. R. Lock, M. Chakravarty, 1997, Comput. Lang..
Simon Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2013, Haskell 2013.
Manuel M. T. Chakravarty, Gabriele Keller, 2002 .
Manuel M. T. Chakravarty, 2014, Haskell '14.
Manuel M. T. Chakravarty, Gabriele Keller, Sean Seefried, 2004, GPCE.
Manuel M. T. Chakravarty, David A. Terei, 2010, Haskell.
Manuel M. T. Chakravarty, 1995, Functional Programming.
Manuel M. T. Chakravarty, Gabriele Keller, 2002, Advanced Functional Programming.
Yike Guo, John Darlington, Manuel M. T. Chakravarty, 1997, Proceedings. Advances in Parallel and Distributed Computing.
Manuel M. T. Chakravarty, 2013, FHPC '13.
Simon Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2013 .
Manuel M. T. Chakravarty, 1999, Fuji International Symposium on Functional and Logic Programming.
Manuel M. T. Chakravarty, Gabriele Keller, Trevor L. McDonell, 2014, PADL.
Yike Guo, Manuel M. T. Chakravarty, Martin Köhler, 1998, Fuji International Symposium on Functional and Logic Programming.
Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski, 2004, COCV@ETAPS.
Manuel M. T. Chakravarty, Gabriele Keller, Hugh Chaffey-Millar, 2007 .
Manuel M. T. Chakravarty, Peter Thiemann, 2012, IFL.
Manuel M. T. Chakravarty, Gabriele Keller, Hugh Chaffey-Millar, 2007 .
Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, 2011, DAMP '11.
Manuel M. T. Chakravarty, Gabriele Keller, 2000, ICFP '00.
Manuel M. T. Chakravarty, Gabriele Keller, Robert Clifton-Everest, 2015, FHPC@ICFP.
Manuel M. T. Chakravarty, Gabriele Keller, 2001, ICFP '01.
Manuel M. T. Chakravarty, David Terei, 2010 .
Simon Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2007 .
Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier, 2013, Haskell '13.
Manuel M. T. Chakravarty, Derek Dreyer, Gabriele Keller, 2007, POPL '07.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2012, ICFP '12.
Manuel M. T. Chakravarty, Gerwin Klein, Simon Winwood, 2006, LOPSTR.
Manuel M. T. Chakravarty, Don Stewart, 2005, Haskell '05.
Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, 2002, Parallel Process. Lett..
Aggelos Kiayias, Matthias Fitzi, Alexander Russell, 2020, IACR Cryptol. ePrint Arch..
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2005, ICFP '05.
Manuel M. T. Chakravarty, Sean Seefried, André T. H. Pang, 2004, Haskell '04.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann, 2007, TLDI '07.
Manuel M. T. Chakravarty, Gabriele Keller, 1998, Euro-Par.
Manuel M. T. Chakravarty, M. Chakravarty, 1997, Implementation of Functional Languages.
Manuel M. T. Chakravarty, Hendrik C. R. Lock, 1991, PLILP.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2007, DAMP '07.
Simon Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2008, ICFP 2008.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2012, Haskell '12.
Dinesh Manocha, Naga K. Govindaraju, Manuel M. T. Chakravarty, 2009 .
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2012, Haskell.
Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, 2006, International Conference on Computational Science.
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, 2020, Financial Cryptography Workshops.
Simon Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2008 .
Yike Guo, Manuel M. T. Chakravarty, Hendrik C. R. Lock, 1995, WLP.
Manuel M. T. Chakravarty, Gabriele Keller, 2004 .
Manuel M. T. Chakravarty, Stefan Wehr, M. Chakravarty, 2008, APLAS.
Simon L. Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2008, ICFP.
Simon L. Peyton Jones, Manuel M. T. Chakravarty, Gabriele Keller, 2005, POPL '05.
Manuel M. T. Chakravarty, Gabriele Keller, Hugh Chaffey-Millar, 2008, PADL.
Ryan Newton, Manuel M. T. Chakravarty, Trevor L. McDonell, 2015, Haskell.
Aggelos Kiayias, Manuel M. T. Chakravarty, Nikos Karayannidis, 2021, ArXiv.
Aggelos Kiayias, Matthias Fitzi, Manuel M. T. Chakravarty, 2021, Financial Cryptography.
Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra, 2021 .
Philip Wadler, Manuel M. T. Chakravarty, Orestis Melkonian, 2020 .
Manuel M. T. Chakravarty, Roman Leshchinskiy, M. Chakravarty, 2009 .