Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Principles of Dependent Type Theory
https://carloangiuli.com/courses/b619-sp24/notes.pdf
πŸ‘1
Definitional Interpreters for Higher-Order Programming Languages
John C. Reynolds
https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
πŸ‘4
πŸ‘3πŸ‘Ž1
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
https://github.com/mortdeus/legacy-cc
πŸ‘5πŸ‘Ž3πŸ—Ώ1
πŸ‘4πŸ”₯2
In defense of simple architectures
https://danluu.com/simple-architectures/
πŸ‘2πŸ€”1
Finally Tagless, Partially Evaluated
https://okmij.org/ftp/tagless-final/JFP.pdf
πŸ‘1πŸ€”1
πŸ‘1πŸ’Š1