Segui
Manuel M T Chakravarty
Manuel M T Chakravarty
Tweag I/O & IOHK
Email verificata su justtesting.org - Home page
Titolo
Citata da
Citata da
Anno
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
3532011
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
3302007
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
2962007
Associated type synonyms
MMT Chakravarty, G Keller, SP Jones
ACM SIGPLAN Notices 40 (9), 241-253, 2005
2812005
Associated types with class
MMT Chakravarty, G Keller, SP Jones, S Marlow
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
2602005
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
2042010
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
912007
Modular type classes
D Dreyer, R Harper, MMT Chakravarty, G Keller
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
762007
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
622004
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
592006
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
572004
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
562021
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20