Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lutz Strassburger
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2021 profile
‹Programming› 2024 profile
Not registered as user yet
Name:
Lutz Strassburger
Contributions
2024
‹Programming›
Author of Coqlex: Generating Formally Verified Lexers within the Research Papers-track
2021
ML
Author of Demo Paper : Coqlex, an approach to generate verified lexers within the ML 2021-track
2017
FSCD
Author of Combinatorial Flows and their Normalisation within the FSCD 2017-track
Share
x
Fri 8 Nov 17:26