Personal information

No personal information available

Activities

Employment (1)

Inria: Sophia-Antipolis, FR

2012 to present
Employment
Source: Self-asserted source
Enrico Tassi

Works (1)

Higher-Order unification for free!: Reusing the meta-language unification for the object language

2024-09-09 | Conference paper
Contributors: Davide Fissore; Enrico Tassi
Source: check_circle
Crossref