Duncan Coutts
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Security and Verification in Computing, Formal Methods in Verification, Advanced Software Engineering Methodologies
Most-Cited Works
- → Stream fusion(2007)190 cited
- → Systematic review of olfactory shifts related to obesity(2018)125 cited
- → Rewriting Haskell Strings(2006)36 cited
- → Haskell(2008)12 cited
- → Stream fusion: practical shortcut fusion for coinductive sequence types(2011)10 cited
- → Flexible Formality Practical Experience with Agile Formal Methods(2020)7 cited
- → Deterministic Parallel Programming with Haskell(2012)7 cited
- → Birth of the industrial Haskell group(2009)1 cited