conf.researchr.org / Koen Claessen

Not registered as user yet

Name: Koen Claessen

Affiliation: Chalmers University of Technology

Contributions

ICFP 2018Committee Member in External Review Committee within the Research Papers-track
Haskell 2017Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Haskell 2016Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track
FHPC 2016Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track
ICFP 2016Committee Member in Program Committee within the Research Papers-track
ESOP 2015Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track