| 2008 |
|---|
| 36 | EE | Stefan Wehr,
Manuel M. T. Chakravarty:
ML Modules and Haskell Type Classes: A Constructive Comparison.
APLAS 2008: 188-204 |
| 35 | EE | Simon L. Peyton Jones,
Roman Leshchinskiy,
Gabriele Keller,
Manuel M. T. Chakravarty:
Harnessing the Multicores: Nested Data Parallelism in Haskell.
FSTTCS 2008 |
| 34 | EE | Tom Schrijvers,
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Martin Sulzmann:
Type checking with open type functions.
ICFP 2008: 51-62 |
| 33 | EE | Gabriele Keller,
Hugh Chaffey-Millar,
Manuel M. T. Chakravarty,
Don Stewart,
Christopher Barner-Kowollik:
Specialising Simulator Generators for High-Performance Monte-Carlo Methods.
PADL 2008: 116-132 |
| 2007 |
|---|
| 32 | EE | Manuel M. T. Chakravarty,
Roman Leshchinskiy,
Simon L. Peyton Jones,
Gabriele Keller,
Simon Marlow:
Data parallel Haskell: a status report.
DAMP 2007: 10-18 |
| 31 | EE | Derek Dreyer,
Robert Harper,
Manuel M. T. Chakravarty,
Gabriele Keller:
Modular type classes.
POPL 2007: 63-70 |
| 30 | EE | Martin Sulzmann,
Manuel M. T. Chakravarty,
Simon L. Peyton Jones,
Kevin Donnelly:
System F with type equality coercions.
TLDI 2007: 53-66 |
| 2006 |
|---|
| 29 | EE | Philip Derrin,
Kevin Elphinstone,
Gerwin Klein,
David Cock,
Manuel M. T. Chakravarty:
Running the manual: an approach to high-assurance microkernel development.
Haskell 2006: 60-71 |
| 28 | EE | Roman Leshchinskiy,
Manuel M. T. Chakravarty,
Gabriele Keller:
Higher Order Flattening.
International Conference on Computational Science (2) 2006: 920-928 |
| 27 | EE | Simon Winwood,
Gerwin Klein,
Manuel M. T. Chakravarty:
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.
LOPSTR 2006: 111-126 |
| 2005 |
|---|
| 26 | EE | Simon Winwood,
Manuel M. T. Chakravarty:
Secure Untrusted Binaries - Provably!.
Formal Aspects in Security and Trust 2005: 171-186 |
| 25 | EE | Don Stewart,
Manuel M. T. Chakravarty:
Dynamic applications from the ground up.
Haskell 2005: 27-38 |
| 24 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Simon L. Peyton Jones:
Associated type synonyms.
ICFP 2005: 241-253 |
| 23 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Simon L. Peyton Jones,
Simon Marlow:
Associated types with class.
POPL 2005: 1-13 |
| 2004 |
|---|
| 22 | EE | Sean Seefried,
Manuel M. T. Chakravarty,
Gabriele Keller:
Optimising Embedded DSLs Using Template Haskell.
GPCE 2004: 186-205 |
| 21 | EE | Manuel M. T. Chakravarty,
Gabriele Keller:
The risks and benefits of teaching purely functional programming in first year.
J. Funct. Program. 14(1): 113-123 (2004) |
| 2003 |
|---|
| 20 | EE | André T. H. Pang,
Manuel M. T. Chakravarty:
Interfacing Haskell with Object-Oriented Languages.
IFL 2003: 20-35 |
| 19 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Patryk Zadarnowski:
A Functional Perspective on SSA Optimisation Algorithms.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 2002 |
|---|
| 18 | EE | Manuel M. T. Chakravarty,
Gabriele Keller:
An Approach to Fast Arrays in Haskell.
Advanced Functional Programming 2002: 27-58 |
| 17 | EE | Roman Lechtchinsky,
Manuel M. T. Chakravarty,
Gabriele Keller:
Costing Nested Array Codes.
Parallel Processing Letters 12(2): 249-266 (2002) |
| 2001 |
|---|
| 16 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Roman Lechtchinsky,
W. Pfannenstiel:
Nepal - Nested Data Parallelism in Haskell.
Euro-Par 2001: 524-534 |
| 15 | | Manuel M. T. Chakravarty,
Gabriele Keller:
Functional Array Fusion.
ICFP 2001: 205-216 |
| 2000 |
|---|
| 14 | EE | Manuel M. T. Chakravarty,
Gabriele Keller:
More types for nested data parallel programming.
ICFP 2000: 94-105 |
| 1999 |
|---|
| 13 | | Manuel M. T. Chakravarty:
Lazy Lexing is Fast.
Fuji International Symposium on Functional and Logic Programming 1999: 68-84 |
| 12 | | Manuel M. T. Chakravarty:
C -> HASKELL, or Yet Another Interfacing Tool.
IFL 1999: 131-148 |
| 11 | | Gabriele Keller,
Manuel M. T. Chakravarty:
On the Distribution Implementation of Aggregate Data Structures by Program Transformation.
IPPS/SPDP Workshops 1999: 108-122 |
| 1998 |
|---|
| 10 | EE | Gabriele Keller,
Manuel M. T. Chakravarty:
Flattening Trees.
Euro-Par 1998: 709-719 |
| 9 | | Manuel M. T. Chakravarty,
Yike Guo,
Martin Köhler:
Distributed Haskell: Goffin on the Internet.
Fuji International Symposium on Functional and Logic Programming 1998: 80-97 |
| 8 | | Manuel M. T. Chakravarty,
Yike Guo,
Martin Köhler,
Hendrik C. R. Lock:
GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Sci. Comput. Program. 30(1-2): 157-199 (1998) |
| 1997 |
|---|
| 7 | EE | K. T. P. Au,
Manuel M. T. Chakravarty,
John Darlington,
Yike Guo,
Stefan Jähnichen,
Martin Köhler,
Gabriele Keller,
W. Pfannenstiel,
Martin Simons:
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
APDC 1997: 66-73 |
| 6 | EE | Manuel M. T. Chakravarty:
Lazy Thread and Task Creation in Parallel Graph-Reduction.
Implementation of Functional Languages 1997: 231-249 |
| 5 | | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
Towards the Uniform Implementation of Declarative Languages.
Comput. Lang. 23(2-4): 121-160 (1997) |
| 1995 |
|---|
| 4 | | Manuel M. T. Chakravarty:
Integrating Multithreading into the Spineless Tagless G-machine.
Functional Programming 1995: 2 |
| 3 | | Manuel M. T. Chakravarty,
Yike Guo,
Martin Köhler,
Hendrik C. R. Lock:
Co-ordinating Parallel Computation through Equational Constraints.
WLP 1995: 123-132 |
| 1994 |
|---|
| 2 | EE | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.
ICLP Workshop: Integration of Declarative Paradigms 1994: 61-75 |
| 1991 |
|---|
| 1 | | Manuel M. T. Chakravarty,
Hendrik C. R. Lock:
The Implementation of Lazy Narrowing.
PLILP 1991: 123-134 |
