John Hughes - ICFP 2018

Registered user since Mon 26 Aug 2019

Name:John Hughes

Affiliation:Chalmers University of Technology, Sweden

Contributions

ICFP 2018	Member at large in Steering Committee
Erlang 2018	Typing the Wild in Erlang Understanding Formal Specifications through Good Examples
Haskell 2018	Branching Processes for QuickCheck Generators
Show activities from other conferences