Lucas Escot

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Abstract Data Types

Plagiarism Detection

Complex Objects

Concurrent Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Lucas Escot
Crafting Extensible Forward Incremental Parallel Embedded Build Systems. IFL (2023)
Lucas Escot, Jesper Cockx
Practical generic programming over a universe of native datatypes. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell (2022)