• Sign in
  • Sign up
conf.researchr.org / Koen Claessen
  • ESOP 2015 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • POPL 2018 profile

Not registered as user yet

Name: Koen Claessen

Affiliation: Chalmers University of Technology, Sweden

Contributions

Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
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

Share
xWed 3 Mar 23:14
using conf.researchr.org (v1.43.1)
Support page
Sign Up