Registered user since Tue 5 Sep 2017

Name:Sebastian Graf
Affiliation:Karlsruhe Institute of Technology
Research interests:Compiler Optimisation, Programming Languages, Haskell


WITS 2022 Author of Tries that match within the WITS 2022-track
ICFP 2020 Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track
HIW 2017 Author of Demand Analysis vs. Call Arity within the HIW 2017-track