Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 790
Subscribers
-124 hours
+77 days
+4230 days
Posts Archive
1 790
A Roadmap to Metacomputation by Supercompilation
https://web.archive.org/web/20130628231908/http://repository.readscheme.org/ftp/papers/dagstuhl-pe96/02.pdf
1 790
Progress towards a GCC-based Rust compiler
https://lwn.net/SubscriberLink/954787/41470c731eda02a4/
1 790
Bidirectional Elaboration of Dependently Typed Programs
https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf
1 790
Continuous Normalization for the Lambda-Calculus and Gödel’s T
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b
1 790
Don’t Substitute Into Abstractions (Functional Pearl)
https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf
1 790
Elaboration with First-Class Implicit Function Types
https://dl.acm.org/doi/pdf/10.1145/3408983
1 790
Contracts for Higher-Order Functions
https://users.cs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf
1 790
CPython Dynamic Dispatch Internals
https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals
1 790
Harder Drive: Hard drives we didn't want or need
https://youtu.be/JcJSW7Rprio?si=xNG96RVJwc60IJUt1 790
Compiling a Functional Language
Luca Cardelli
http://lucacardelli.name/Papers/CompilingML.A4.pdf
1 790
Introduction to the Calculus of Inductive Constructions
https://inria.hal.science/hal-01094195/document
1 790
Arend is a theorem prover and a programming language based on Homotopy Type Theory.
https://github.com/JetBrains/Arend
