John Hughes

Not registered as user yet

Name: John Hughes

Affiliation: Chalmers University of Technology, Sweden

Contributions

Haskell 2018	Author of Branching Processes for QuickCheck Generators within the Haskell 2018-track
Erlang 2018	Author of Typing the Wild in Erlang within the Erlang 2018-track Author of Understanding Formal Specifications through Good Examples within the Erlang 2018-track
ICFP 2018	Member at large in Steering Committee
CurryOn 2017	Author of Don't Write Tests! within the Curry On Talks-track
ICFP 2017	Session Chair of Program Construction (part of Research Papers) Committee Member in Program Committee within the Research Papers-track Member at large in Steering Committee
PLMW 2016	Committee Member in Speakers within the PLMW-track Author of Unaccustomed as I am to public speaking within the PLMW-track
POPL 2017	Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016	Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016	Member at large in Steering Committee
PLMW	Author of Unaccustomed As I Am to Public Speaking within the PLMW-track
ESOP 2015	Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track