Photo
2 · 91 · Fichier
unification-and-anti-CoC.pdf · 169 Ko · cliquez pour afficher
unification-and-anti-CoC.pdf · 169 Ko · cliquez pour afficher
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
93 · Fichier
paramorphism-synthesis.pdf · 371 Ko · cliquez pour afficher
paramorphism-synthesis.pdf · 371 Ko · cliquez pour afficher
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
95 · Lien
cliquez pour afficher
2 · 105 · cliquez pour afficher
Photo
2 · 108 ·