Lucas Escot

According to our database, Lucas Escot authored at least 2 papers in 2022.

Collaborative distances:

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

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