Person. Dale Miller [dalemiller]

Director of Research
INRIA Saclay - Île-de-France
0000-0003-0274-4954
https://www.lix.polytechnique.fr/Labo/Dale.Miller/

Related

Institution. INRIA [inria]

https://www.inria.fr/en

Institut national de recherche en sciences et technologies du numérique.

Contributions

Reference. Functions-as-constructors higher-order unification [libal-miller-2021]

September 30, 2021
Tomer Libal, Dale Miller
Annals of Mathematics and Artificial Intelligence, Volume 90
10.1007/s10472-021-09774-y