• Sign in
  • Sign up
conf.researchr.org / Lutz Strassburger
  • ICFP 2017 profile
  • ICFP 2021 profile

Not registered as user yet

Name:Lutz Strassburger

Contributions

ML 2021 Author of Demo Paper : Coqlex, an approach to generate verified lexers within the ML 2021-track
FSCD 2017 Author of Combinatorial Flows and their Normalisation within the FSCD 2017-track

Share
xWed 6 Jul 22:06
using conf.researchr.org (v1.56.1)
Support page
Sign Up