Enzo Crance
where else to find them
linkedin:enzo-crance-099628b9
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Assia Mahboubionce
- Chantal Kelleronce
- Denis Cousineauonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Logic Meta Programming for Functional Languages | Scala.IO 2024 - Nantes | 2024-02-15 |
Shows a working meta-programming pipeline: encoding lambda terms with higher-order abstract syntax in Lambda Prolog (LP), implementing a real type-checker for… | ||
| Compositional pre-processing for automated reasoning in dependent type theory | CPP 2023 | 2023-01-16 |
Implements compositional, small-step goal transforms for Coq that systematically convert inductives, uninterpreted symbols and higher-order/dependent… | ||
| nothing matches | ||