Lucas Escot

According to our database, Lucas Escot authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Crafting Extensible Forward Incremental Parallel Embedded Build Systems.

Lucas Escot

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2022

Practical generic programming over a universe of native datatypes.

Lucas Escot, Jesper Cockx

Proc. ACM Program. Lang., 2022

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.

Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022