en
Feedback

Don't get caught by a cheater! Telemetrio finds and tags such channels 👉 If you want to see the tag, subscribe

📚 Cs/books/uwu

📚 Cs/books/uwu

Open in Telegram

#Books #linux #GNU #Cprogramming #engineering #computer

Show more
648
Subscribers
-324 hours
No data7 days
+330 days
Posts Archive
Verified Sequential Malloc/Free

Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381

Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

photo content