Programming Deadlock
1.46K subscribers
3 photos
103 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
๐Ÿ”ฅ1๐Ÿคฏ1
The Next 700 Program Transformers
https://arxiv.org/pdf/2108.11347
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
๐Ÿ‘2
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second)
https://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
๐Ÿ‘1
Abstract Interpretation as a Programming Language
https://arxiv.org/pdf/1309.5133v1
๐Ÿ‘1