Programming Deadlock
1.2K subscribers
3 photos
82 files
1.06K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
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
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
c11comp.pdf
581.1 KB
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
concurrency-primer.pdf
1.3 MB
What every systems programmer should know about concurrency
p539-neumann.pdf
559.4 KB
Efficiently Compiling Efficient Query Plans for Modern Hardware
A Deforestation of Reducts: Refocusing
https://arxiv.org/pdf/2302.10455v1