Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 870
Подписчики
+124 часа
+77 дней
+3830 дней
Архив постов
1 874
Introduction to the Calculus of Inductive Constructions
https://inria.hal.science/hal-01094195/document
1 874
Arend is a theorem prover and a programming language based on Homotopy Type Theory.
https://github.com/JetBrains/Arend
1 874
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin C. Brady
https://www.type-driven.org.uk/edwinb/papers/effects.pdf
1 874
Lone is a freestanding Lisp interpreter designed to run directly on top of the Linux kernel with full support for Linux system calls. It has zero dependencies, not even the C standard library.
https://github.com/lone-lang/lone
1 874
The Boolean Satisfiability Problem: an overview of solving techniques and applications
https://inria.hal.science/hal-03589602/file/ClementinTayou-mai2021.pdf
1 874
Features of a dream programming language: 3rd draft
https://magnemg.eu/features-of-a-dream-programming-language-3rd-draft
1 874
A context-based approach to proving termination of evaluation
https://ii.uni.wroc.pl/~mabi/papers/mfps09.pdf
1 874
Supercompiler HOSC 1.0: under the hood
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
1 874
Partial Computation of Programs
Yoshihiko Futamura
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/103401/1/0482-14.pdf
1 874
When should you choose C++ as your starting language?
https://steelph0enix.github.io/posts/choosing-first-language
1 874
The Unreasonable Effectiveness of Multiple Dispatch
https://www.juliaopt.org/meetings/santiago2019/slides/stefan_karpinski.pdf
1 874
A Dependently Typed Calculus with Pattern Matching and Erasure Inference
https://dl.acm.org/doi/pdf/10.1145/3408973
