Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lucas Escot
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
Not registered as user
Name:
Lucas Escot
Affiliation:
TU Delft
Contributions
2024
ICFP
Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
2022
Haskell
Author of Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs within the Haskell 2022-track
ICFP
Author of Practical generic programming over a universe of datatypes within the ICFP Papers and Events-track
Share
x
Tue 20 Jan 13:39