1. An EDSL approach to high performance Haskell programming
2. Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. arXiv preprint arXiv:1710.08332. Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. arXiv preprint arXiv:1710.08332.
3. Emil Axelsson , Koen Claessen , Mary Sheeran , Josef Svenningsson , David Engdal , and Anders Persson . 2011. The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing . In Implementation and Application of Functional Languages, Jurriaan Hage and Marco T . Morazán (Eds.). 6647, Springer Berlin Heidelberg , Berlin, Heidelberg . 121–136. isbn:978-3-642-24275-5 978-3-642-24276-2 Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, and Anders Persson. 2011. The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing. In Implementation and Application of Functional Languages, Jurriaan Hage and Marco T. Morazán (Eds.). 6647, Springer Berlin Heidelberg, Berlin, Heidelberg. 121–136. isbn:978-3-642-24275-5 978-3-642-24276-2
4. L. Cardelli S. Martini J.C. Mitchell and A. Scedrov. 1994. An Extension of System f with Subtyping. Information and Computation 109 1 (1994) issn:0890-5401 L. Cardelli S. Martini J.C. Mitchell and A. Scedrov. 1994. An Extension of System f with Subtyping. Information and Computation 109 1 (1994) issn:0890-5401
5. Stream fusion