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
Introduction to the Calculus of Inductive Constructions
https://inria.hal.science/hal-01094195/document
πŸ‘1
Compiling a Functional Language
Luca Cardelli
https://lucacardelli.name/Papers/CompilingML.A4.pdf
πŸ‘1
A Polymorphic Ξ»-calculus with Type:Type
https://lucacardelli.name/Papers/TypeType.pdf
πŸ”₯1
Elaboration with First-Class Implicit Function Types
https://dl.acm.org/doi/pdf/10.1145/3408983
πŸ‘1
Don’t Substitute Into Abstractions (Functional Pearl)
https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf
πŸ‘1🀯1
Continuous Normalization for the Lambda-Calculus and GΓΆdel’s T
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b
πŸ‘1πŸ‘Ž1
Bidirectional Elaboration of Dependently Typed Programs
https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf
😭2πŸ‘1
The Quest Language and System
Luca Cardelli
https://lucacardelli.name/Papers/Notes/QuestManual.pdf
πŸ€”2