- Higher Order Flattening # Roman Leshchinskiy ## , Manuel M. T. Chakravarty, and Gabriele Keller
- A Mobile Functional Object Code Manuel M. T. Chakravarty
- Optimising Embedded DSLs using Template Sean Seefried, Manuel Chakravarty, and Gabriele Keller
- Partial Vectorisation of Haskell Programs Manuel M. T. Chakravarty1
- Appeared in Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods (EPHAM 2009)
- Type Families: Program Your Types! Manuel M. T. Chakravarty1
- Modular Type Classes Derek Dreyer
- Foundations of Software Technology and Theoretical Computer Science (Bangalore) 2008. Editors: R. Hariharan, M. Mukund, V. Vinay; pp -
- Modular Type Classes Derek Dreyer
- To appear in the Proceedings of the 1995 Glasgow Workshop on Functional Programming, SpringerVerlag, 1996
- Associated Type Synonyms Manuel M. T. Chakravarty Gabriele Keller
- Plugging Haskell In Information & Communication
- | DRAFT | | DRAFT | | DRAFT | Take: A Distributed Testing Harness in Haskell
- More Types for Nested Data Parallel Programming Manuel M. T. Chakravarty
- To appear in the Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, World Scientic, 1998.
- Type Checking with Open Type Functions Tom Schrijvers
- To appear in special issue of ``Science of Computer Programming'', Elsevier Science, volume 29, 1997.
- Dynamic Applications From the Ground Up # Don Stewart Manuel M. T. Chakravarty
- Associated Types with Class Manuel M. T. Chakravarty Gabriele Keller #
- Interfacing Haskell with ObjectOriented Andre T. H. Pang 1,2 and Manuel M. T. Chakravarty 1,3
- Towards Open Type Functions for Haskell --DRAFT --
- On the Relation Between a Rewriting Computational Model for Functional Logic Languages and
- Lazy Thread and Task Creation in Parallel GraphReduction
- Flattening Trees Gabriele Keller 1 and Manuel M. T. Chakravarty 2
- Parallel Processing Letters c World Scienti c Publishing Company
- HASKELL ARRAYS, ACCELERATED Manuel M. T. Chakravarty
- Functional Array Fusion Manuel M. T. Chakravarty
- An Approach to Fast Arrays in Haskell Manuel M. T. Chakravarty and Gabriele Keller
- On the Distributed Implementation of Aggregate Data Structures by Program Transformation
- A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics
- Associated Types with Class---The Proofs ---DRAFT ---
- How Portable is Nested Data Parallelism? Manuel M. T. Chakravarty 1 and Gabriele Keller 2
- COCV'03 Preliminary Version A Functional Perspective on
- Nepal --Nested DataParallelism in Haskell Manuel M. T. Chakravarty
- On the Massively Parallel Execution of Declarative Programs
- Solving the expression problem with true separate compilation Sean Seefried
- Chakravarty overloading
- Lazy Lexing is Fast Manuel M. T. Chakravarty
- Towards the Uniform Implementation of Declarative Languages
- To appear in the Proceedings of the 1995 Glasgow Workshop on Functional Programming, Springer-Verlag, 1996
- To appear in the Proceedings of the Third Fuji International Symposium on Funct* *ional and Logic
- On the Relation Between a Rewriting Computational Model for Functional Logic Languages and
- Data Parallel Haskell: a status report Manuel M. T. Chakravarty Roman Leshchinskiy Simon Peyton Jones
- C ! Haskell, or Yet Another Interfacing Tool ?
- --DRAFT [May 11, 2009] --Instant Generics: Fast and Easy
- System F with Type Equality Coercions Martin Sulzmann
- On the automated synthesis of proof-carrying temporal reference monitors
- DATA PARALLELISM IN HASKELL Manuel M. T. Chakravarty
- DATA PARALLELISM IN HASKELL Manuel M. T. Chakravarty
- An LLVM Backend for GHC David A. Terei Manuel M. T. Chakravarty
- System F with Type Equality Coercions Martin Sulzmann
- Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller Manuel M. T. Chakravarty Roman Leshchinskiy
- Specialising Simulator Generators for High-Performance Monte-Carlo Methods
- A General-Purpose Dependently-Typed Assembly Language Simon Winwood
- A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics
- Functional Array Fusion Manuel M. T. Chakravarty
- SHARED DATA STRUCTURES IN NESTED DATA PARALLELISM
