Flexible Formality Practical Experience with Agile Formal Methods - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, 2020)

Deterministic Parallel Programming with Haskell - Duncan Coutts; Andres Löh (Comput. Sci. Eng., 2012)

Stream fusion : practical shortcut fusion for coinductive sequence types - Duncan Coutts (University of Oxford, UK, 2011)

Haskell: batteries included - Duncan Coutts; Isaac Potoczny-Jones; Don Stewart (Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, 2008)

Stream fusion: from lists to streams to nothing at all - Duncan Coutts; Roman Leshchinskiy; Don Stewart (Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, 2007)

Rewriting Haskell Strings - Duncan Coutts; Don Stewart; Roman Leshchinskiy (Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, 2007)