Koen Claessen -

Not registered as user yet

Name: Koen Claessen

Affiliation: Chalmers University of Technology

Contributions

Haskell 2020	Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track Author of Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) within the Haskell 2020-track
FHPNC 2019	Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track
ICFP 2018	Committee Member in Distinguished Papers Committee within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track
Haskell 2017	Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
Haskell 2016	Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track
FHPC 2016	Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track
ICFP 2016	Committee Member in Program Committee within the Research Papers-track
ESOP 2015	Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track