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

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
xMon 12 May 00:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up