Manuel M T Chakravarty
Manuel M T Chakravarty
Tweag I/O & IOHK
Verified email at - Homepage
Cited by
Cited by
Data Parallel Haskell: a status report
MMT Chakravarty, R Leshchinskiy, S Peyton Jones, G Keller, S Marlow
Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007
System F with type equality coercions
M Sulzmann, MMT Chakravarty, SP Jones, K Donnelly
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007
Accelerating Haskell array codes with multicore GPUs
MMT Chakravarty, G Keller, S Lee, TL McDonell, V Grover
Proceedings of the sixth workshop on Declarative aspects of multicore …, 2011
Associated type synonyms
MMT Chakravarty, G Keller, SP Jones
ACM SIGPLAN Notices 40 (9), 241-253, 2005
Associated types with class
MMT Chakravarty, G Keller, SP Jones, S Marlow
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
Regular, shape-polymorphic, parallel arrays in Haskell
G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier
ACM Sigplan Notices 45 (9), 261-272, 2010
Type checking with open type functions
T Schrijvers, S Peyton Jones, M Chakravarty, M Sulzmann
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
Harnessing the multicores: Nested data parallelism in Haskell
SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty
FSTTCS 2008 2, 383-414, 2008
Optimising purely functional GPU programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ACM SIGPLAN Notices 48 (9), 49-60, 2013
Nepal—nested data parallelism in Haskell
MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel
European Conference on Parallel Processing, 524-534, 2001
A parallelised high performance Monte Carlo simulation approach for complex polymerisation kinetics
H Chaffey‐Millar, D Stewart, MMT Chakravarty, G Keller, ...
Macromolecular Theory and Simulations 16 (6), 575-592, 2007
Modular type classes
D Dreyer, R Harper, MMT Chakravarty, G Keller
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
An LLVM backend for GHC
DA Terei, MMT Chakravarty
Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010
More types for nested data parallel programming
MMT Chakravarty, G Keller
ACM SIGPLAN Notices 35 (9), 94-105, 2000
Running the manual: An approach to high-assurance microkernel development
P Derrin, K Elphinstone, G Klein, D Cock, MMT Chakravarty
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 60-71, 2006
GPU kernels as data-parallel array computations in Haskell
S Lee, MMT Chakravarty, V Grover, G Keller
Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted …, 2009
Optimising embedded DSLs using Template Haskell
S Seefried, M Chakravarty, G Keller
Generative Programming and Component Engineering, 201-211, 2004
The Haskell Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report
MMT Chakravarty
Guiding parallel array fusion with indexed types
B Lippmeier, M Chakravarty, G Keller, S Peyton Jones
Proceedings of the 2012 Haskell Symposium, 25-36, 2012
A functional perspective on SSA optimisation algorithms
MMT Chakravarty, G Keller, P Zadarnowski
Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004
The system can't perform the operation now. Try again later.
Articles 1–20