Not registered as user yet

Name: Moa Johansson

Affiliation: Chalmers University of Technology

ICFP 2017 Activities

• Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track in Haskell 2017
• Show activities from other conferences