Manuel M. T. Chakravarty

Papers

Total Citations

H-Index

About

Manuel M. T. Chakravarty is a leading figure in functional programming, with a particular focus on Haskell and its application to real-world, dynamic systems. His work bridges the gap between purely functional, statically-typed languages and the demands of runtime flexibility. Chakravarty is best known for pioneering research on dynamic loading and runtime code generation in Haskell, exploring how to build applications that are "mostly dynamic"—where the bulk of functionality is loaded at runtime from a minimal static core. This line of inquiry, exemplified by his 2005 paper "Dynamic applications from the ground up" (9 citations), draws inspiration from systems like Emacs and modularised Linux kernels, demonstrating that Haskell can support such architectures without sacrificing safety or performance. Beyond this, he has made foundational contributions to data parallelism, GPU programming (notably through the Accelerate library), and the theory of type classes. His work has had a lasting impact on both the design of Haskell compilers and the broader functional programming community, influencing how researchers and engineers think about combining static guarantees with dynamic behaviour.