📚 Cs/books/uwu
前往频道在 Telegram
600
订阅者
-124 小时
+37 天
+2030 天
帖子存档
Repost from Programming Deadlock
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
Repost from Programming Deadlock
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
