Programming Deadlock – Telegram
Programming Deadlock
1.51K subscribers
3 photos
109 files
1.23K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
👍1
A Type System for Recursive Modules
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
👍3
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
🗿5
Defunctionalization with Dependent Types
https://dl.acm.org/doi/pdf/10.1145/3591241
👍1🙏1
Deriving Dependently-Typed OOP from First Principles
https://dl.acm.org/doi/pdf/10.1145/3649846
👍1
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
https://www.sciencedirect.com/science/article/pii/S0304397522000317
800088.802823.pdf
409.2 KB
The consequences of one's first programming language
👍4