Följ
Manuel M T Chakravarty
Manuel M T Chakravarty
Tweag I/O & IOHK
Verifierad e-postadress på justtesting.org - Startsida
Titel
Citeras av
Citeras av
År
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
3542011
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
3292007
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
2952007
Associated type synonyms
MMT Chakravarty, G Keller, SP Jones
ACM SIGPLAN Notices 40 (9), 241-253, 2005
2862005
Associated types with class
MMT Chakravarty, G Keller, SP Jones, S Marlow
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
2662005
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
2052008
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
2022010
Harnessing the multicores: Nested data parallelism in Haskell
SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty
FSTTCS 2008 2, 383-414, 2008
192*2008
Optimising purely functional GPU programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ACM SIGPLAN Notices 48 (9), 49-60, 2013
1512013
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
1092020
Nepal—nested data parallelism in Haskell
MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel
Euro-Par 2001 Parallel Processing: 7th International Euro-Par Conference …, 2001
1092001
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
942007
Modular type classes
D Dreyer, R Harper, MMT Chakravarty, G Keller
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
772007
An LLVM backend for GHC
DA Terei, MMT Chakravarty
Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010
752010
More types for nested data parallel programming
MMT Chakravarty, G Keller
ACM SIGPLAN Notices 35 (9), 94-105, 2000
652000
A functional perspective on SSA optimisation algorithms
MMT Chakravarty, G Keller, P Zadarnowski
Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004
632004
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
602006
Fast isomorphic state channels
MMT Chakravarty, S Coretti, M Fitzi, P Gaži, P Kant, A Kiayias, A Russell
Financial Cryptography and Data Security: 25th International Conference, FC …, 2021
572021
The risks and benefits of teaching purely functional programming in first year
MMT Chakravarty, G Keller
Journal of Functional Programming 14 (1), 113-123, 2004
562004
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
512009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20