Programming Deadlock
1.19K subscribers
3 photos
81 files
1.06K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
SEDA-sosp.pdf
298.8 KB
SEDA: An Architecture for Well-Conditioned,
Scalable Internet Services (2001)
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/
cicm17.pdf
265.6 KB
Automatically Proving Equivalence by Type-Safe Reflection
places2019.pdf
165.4 KB
Value-Dependent Session Design in a Dependently Typed Language
Handling Bidirectional Control Flow
https://dl.acm.org/doi/pdf/10.1145/3428207