اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 685
مشترکین
+324 ساعت
+87 روز
+3630 روز
آرشیو پست ها
1 685
Don’t Substitute Into Abstractions (Functional Pearl)
https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf
1 685
Elaboration with First-Class Implicit Function Types
https://dl.acm.org/doi/pdf/10.1145/3408983
1 685
Contracts for Higher-Order Functions
https://users.cs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf
1 685
Handlers in Action
https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf
1 685
A Polymorphic λ-calculus with Type:Type
http://lucacardelli.name/Papers/TypeType.pdf
1 685
CPython Dynamic Dispatch Internals
https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals
1 685
Harder Drive: Hard drives we didn't want or need
https://youtu.be/JcJSW7Rprio?si=xNG96RVJwc60IJUt1 685
Compiling a Functional Language
Luca Cardelli
http://lucacardelli.name/Papers/CompilingML.A4.pdf
1 685
Introduction to the Calculus of Inductive Constructions
https://inria.hal.science/hal-01094195/document
1 685
Arend is a theorem prover and a programming language based on Homotopy Type Theory.
https://github.com/JetBrains/Arend
1 685
Higher-Kinded Data
https://reasonablypolymorphic.com/blog/higher-kinded-data/
1 685
The algebra of boolean satisfiability
https://piedeleu.com/posts/algebra-of-sat/
1 685
Normalization by hereditary substitutions
https://www.cs.nott.ac.uk/~psztxa/publ/msfp10.pdf
1 685
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin C. Brady
https://www.type-driven.org.uk/edwinb/papers/effects.pdf
1 685
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 685
The Boolean Satisfiability Problem: an overview of solving techniques and applications
https://inria.hal.science/hal-03589602/file/ClementinTayou-mai2021.pdf
1 685
Features of a dream programming language: 3rd draft
https://magnemg.eu/features-of-a-dream-programming-language-3rd-draft
1 685
A context-based approach to proving termination of evaluation
https://ii.uni.wroc.pl/~mabi/papers/mfps09.pdf
