17 февраля 2026
Фотография
2 · 91 · Файл
unification-and-anti-CoC.pdf · 169 КБ · нажмите — покажем
unification-and-anti-CoC.pdf · 169 КБ · нажмите — покажем
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
93 · Файл
paramorphism-synthesis.pdf · 371 КБ · нажмите — покажем
paramorphism-synthesis.pdf · 371 КБ · нажмите — покажем
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
95 · Фотография
2 · 108 · Ссылка
нажмите — покажем
нажмите — покажем
Writing a Go SQL driver
https://www.dolthub.com/blog/2026-01-23-golang-sql-drivers
1 · 116 · Видео
1.3 МБ
5 · 115 · 1.3 МБ