📚 Cs/books/uwu
Відкрити в Telegram
583
Підписники
Немає даних24 години
+57 днів
+1230 день
Архів дописів
Repost from Programming Deadlock
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
Repost from Programming Deadlock
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
Вже доступно! Дослідження Telegram за 2025 — головні інсайти року 
