Programming Deadlock
1.26K subscribers
3 photos
88 files
1.08K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/
cicm17.pdf
265.6 KB
Automatically Proving Equivalence by Type-Safe Reflection
๐Ÿ”ฅ1
places2019.pdf
165.4 KB
Value-Dependent Session Design in a Dependently Typed Language
๐Ÿ‘1
Handling Bidirectional Control Flow
https://dl.acm.org/doi/pdf/10.1145/3428207
๐Ÿ‘2
How I Experience Web Today
https://how-i-experience-web-today.com/
๐Ÿคฃ13๐Ÿ‘2๐Ÿคจ2
modernC.pdf
3.7 MB
Modern C: C23 Edition
๐Ÿ—ฟ7๐Ÿคฃ6๐Ÿ‘3๐Ÿ’ฏ1๐Ÿ’…1