The Implementation of Lazy Narrowing. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (PLILP, 1991)

The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (ICLP Workshop: Integration of Declarative Paradigms, 1994)

GOFFIN: Higher-Order Functions Meet Concurrent Constraints. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler (CCP, 1995)

Integrating Multithreading into the Spineless Tagless G-machine. - Manuel M. T. Chakravarty (Functional Programming, 1995)

Co-ordinating Parallel Computation through Equational Constraints. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler; Hendrik C. R. Lock (WLP, 1995)

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. - K. T. P. Au; Manuel M. T. Chakravarty; John Darlington; Yike Guo; Stefan Jähnichen; Martin Köhler; Gabriele Keller; Wolf Pfannenstiel; Martin Simons 001 (APDC, 1997)

Lazy Thread and Task Creation in Parallel Graph-Reduction. - Manuel M. T. Chakravarty (Implementation of Functional Languages, 1997)

Towards the Uniform Implementation of Declarative Languages. - Manuel M. T. Chakravarty; Hendrik C. R. Lock (Comput. Lang., 1997)

On the massively parallel excution of declarative programs. - Manuel M. T. Chakravarty (1997)

Flattening Trees. - Gabriele Keller; Manuel M. T. Chakravarty (Euro-Par, 1998)

Distributed Haskell: Goffin on the Internet. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler (Fuji International Symposium on Functional and Logic Programming, 1998)

GOFFIN: Higher-Order Functions Meet Concurrent Constraints. - Manuel M. T. Chakravarty; Yike Guo; Martin Köhler; Hendrik C. R. Lock (Sci. Comput. Program., 1998)

Lazy Lexing is Fast. - Manuel M. T. Chakravarty (Fuji International Symposium on Functional and Logic Programming, 1999)

C -> HASKELL, or Yet Another Interfacing Tool. - Manuel M. T. Chakravarty (IFL, 1999)

On the Distribution Implementation of Aggregate Data Structures by Program Transformation. - Gabriele Keller; Manuel M. T. Chakravarty (IPPS/SPDP Workshops, 1999)

More types for nested data parallel programming. - Manuel M. T. Chakravarty; Gabriele Keller (ICFP, 2000)

Nepal - Nested Data Parallelism in Haskell. - Manuel M. T. Chakravarty; Gabriele Keller; Roman Lechtchinsky; Wolf Pfannenstiel (Euro-Par, 2001)

Functional Array Fusion. - Manuel M. T. Chakravarty; Gabriele Keller (ICFP, 2001)

An Approach to Fast Arrays in Haskell. - Manuel M. T. Chakravarty; Gabriele Keller (Advanced Functional Programming, 2002)

Costing Nested Array Codes. - Roman Lechtchinsky; Manuel M. T. Chakravarty; Gabriele Keller (Parallel Process. Lett., 2002)

Interfacing Haskell with Object-Oriented Languages. - André T. H. Pang; Manuel M. T. Chakravarty (IFL, 2003)

A Functional Perspective on SSA Optimisation Algorithms. - Manuel M. T. Chakravarty; Gabriele Keller; Patryk Zadarnowski (COCV@ETAPS, 2003)

Einführung in die Programmierung mit Haskell. - Manuel M. T. Chakravarty; Gabriele Keller (Pearson Studium, 2004)

Optimising Embedded DSLs Using Template Haskell. - Sean Seefried; Manuel M. T. Chakravarty; Gabriele Keller (GPCE, 2004)

Plugging Haskell in. - André T. H. Pang; Don Stewart; Sean Seefried; Manuel M. T. Chakravarty (Haskell, 2004)

The risks and benefits of teaching purely functional programming in first year. - Manuel M. T. Chakravarty; Gabriele Keller (J. Funct. Program., 2004)

Dynamic applications from the ground up. - Don Stewart; Manuel M. T. Chakravarty (Haskell, 2005)

Associated type synonyms. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (ICFP, 2005)

Secure Untrusted Binaries - Provably!. - Simon Winwood; Manuel M. T. Chakravarty (Formal Aspects in Security and Trust, 2005)

Associated types with class. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones; Simon Marlow (POPL, 2005)

Running the manual: an approach to high-assurance microkernel development. - Philip Derrin; Kevin Elphinstone; Gerwin Klein; David A. Cock; Manuel M. T. Chakravarty (Haskell, 2006)

Higher Order Flattening. - Roman Leshchinskiy; Manuel M. T. Chakravarty; Gabriele Keller (International Conference on Computational Science (2), 2006)

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. - Simon Winwood; Gerwin Klein; Manuel M. T. Chakravarty (LOPSTR, 2006)

Data parallel Haskell: a status report. - Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Gabriele Keller; Simon Marlow (DAMP, 2007)

Modular type classes. - Derek Dreyer; Robert Harper 001; Manuel M. T. Chakravarty; Gabriele Keller (POPL, 2007)

System F with type equality coercions. - Martin Sulzmann; Manuel M. T. Chakravarty; Simon L. Peyton Jones; Kevin Donnelly (TLDI, 2007)

ML Modules and Haskell Type Classes: A Constructive Comparison. - Stefan Wehr; Manuel M. T. Chakravarty (APLAS, 2008)

Harnessing the Multicores: Nested Data Parallelism in Haskell. - Simon L. Peyton Jones; Roman Leshchinskiy; Gabriele Keller; Manuel M. T. Chakravarty (FSTTCS, 2008)

Type checking with open type functions. - Tom Schrijvers; Simon L. Peyton Jones; Manuel M. T. Chakravarty; Martin Sulzmann (ICFP, 2008)

Specialising Simulator Generators for High-Performance Monte-Carlo Methods. - Gabriele Keller; Hugh Chaffey-Millar; Manuel M. T. Chakravarty; Don Stewart; Christopher Barner-Kowollik (PADL, 2008)

An llVM backend for GHC. - David A. Terei; Manuel M. T. Chakravarty (Haskell, 2010)

Regular, shape-polymorphic, parallel arrays in Haskell. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Ben Lippmeier (ICFP, 2010)

Accelerating Haskell array codes with multicore GPUs. - Manuel M. T. Chakravarty; Gabriele Keller; Sean Lee; Trevor L. McDonell; Vinod Grover (DAMP, 2011)

Singleton: a general-purpose dependently-typed assembly language. - Simon Winwood; Manuel M. T. Chakravarty (TLDI, 2011)

Vectorisation avoidance. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Ben Lippmeier; Simon L. Peyton Jones (Haskell, 2012)

Guiding parallel array fusion with indexed types. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (Haskell, 2012)

Work efficient higher-order vectorisation. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2012)

Agda Meets Accelerate. - Peter Thiemann 001; Manuel M. T. Chakravarty (IFL, 2012)

Data flow fusion with series expressions in Haskell. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Amos Robinson (Haskell, 2013)

Data parallelism in Haskell. - Manuel M. T. Chakravarty (FHPC@ICFP, 2013)

Optimising purely functional GPU programs. - Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller; Ben Lippmeier (ICFP, 2013)

Foreign inline code: systems demonstration. - Manuel M. T. Chakravarty (Haskell, 2014)

Embedding Foreign Code. - Robert Clifton-Everest; Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller (PADL, 2014)

Type-safe runtime code generation: accelerate to LLVM. - Trevor L. McDonell; Manuel M. T. Chakravarty; Vinod Grover; Ryan R. Newton (Haskell, 2015)

Functional array streams. - Frederik M. Madsen; Robert Clifton-Everest; Manuel M. T. Chakravarty; Gabriele Keller (FHPC@ICFP, 2015)

Streaming irregular arrays. - Robert Clifton-Everest; Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller (Haskell, 2017)

Technical perspective: Can high performance be portable? - Manuel M. T. Chakravarty (Commun. ACM, 2018)

The Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Michael Peyton Jones; Philip Wadler (Financial Cryptography Workshops, 2020)

Native Custom Tokens in the Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (ISoLA (3), 2020)

UTXOsf ma: UTXO with Multi-asset Support. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (ISoLA (3), 2020)

Hydra: Fast Isomorphic State Channels. - Manuel M. T. Chakravarty; Sandro Coretti; Matthias Fitzi; Peter Gazi; Philipp Kant; Aggelos Kiayias; Alexander Russell (IACR Cryptol. ePrint Arch., 2020)

Fast Isomorphic State Channels. - Manuel M. T. Chakravarty; Sandro Coretti; Matthias Fitzi; Peter Gazi; Philipp Kant; Aggelos Kiayias; Alexander Russell (Financial Cryptography (2), 2021)

Babel Fees via Limited Liabilities. - Manuel M. T. Chakravarty; Nikos Karayannidis; Aggelos Kiayias; Michael Peyton Jones; Polina Vinogradova (ACNS, 2022)

Structured Contracts in the EUTxO Ledger Model. - Polina Vinogradova; Orestis Melkonian; Philip Wadler; Manuel M. T. Chakravarty; Jacco Krijnen; Michael Peyton Jones; James Chapman 001; Tudor Ferariu (FMBC@CAV, 2024)

Translation certification for smart contracts. - Jacco O. G. Krijnen; Manuel M. T. Chakravarty; Gabriele Keller; Wouter Swierstra (Sci. Comput. Program., 2024)