Duncan Coutts is an author at UNSW Sydney specializing in formal methods, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisCompilersData ScienceParallel ComputingAutomated ReasoningParallel Programming
Publications per year
2007–2008
3
3
Duncan Coutts, Roman Leshchinskiy, Don Stewart · 2007 · 190 citations
Programming Language Theory, Haskell Lists, Declarative Programming +15
Duncan Coutts, Roman Leshchinskiy, Don Stewart · ACM SIGPLAN Notices · 2007 · 13 citations
Programming Language Theory, Haskell Lists, Declarative Programming +15
Duncan Coutts, Isaac Potoczny-Jones, Don Stewart · 2008 · 12 citations
High-level Programming Language, Engineering, Program Analysis +14
Rows per page
1–3 of 3