48
Publications
6.6K
Citations
28
H-Index
1982
Active since
John Hughes is an author at Chalmers University of Technology specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningVerificationSoftware TestingSoftware Engineering
Publications per year
1982–2016
48
48
Report on the programming language Haskell
Paul Hudak, Simon Peyton Jones, Philip Wadler et al. · ACM SIGPLAN Notices · 1992 · 1K citations · Full text
Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2011 · 1K citations
Why Functional Programming Matters
John Hughes · The Computer Journal · 1989 · 733 citations · Full text
Functional Programming Matters, Engineering, Software Engineering +16
Koen Claessen, John Hughes · 2000 · 704 citations
John Hughes · Science of Computer Programming · 2000 · 514 citations
Rows per page
1–5 of 48