Duncan Coutts

According to our database, Duncan Coutts authored at least 6 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2012

Deterministic Parallel Programming with Haskell.

Duncan Coutts, Andres Löh

Comput. Sci. Eng., 2012

2011

Stream fusion : practical shortcut fusion for coinductive sequence types.

Duncan Coutts

PhD thesis, 2011

2008

Haskell: batteries included.

Duncan Coutts, Isaac Potoczny-Jones, Don Stewart

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Rewriting Haskell Strings.

Duncan Coutts, Don Stewart, Roman Leshchinskiy

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

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, 2007