• Sign in
  • Sign up
conf.researchr.org / Lutz Strassburger
  • ICFP 2017 profile
  • ICFP 2021 profile
  • ‹Programming› 2024 profile

Not registered as user

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
xSat 19 Jul 20:42
using conf.researchr.org (v1.69.1)
Support page
Sign Up