اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 684
مشترکین
+324 ساعت
+87 روز
+3630 روز
آرشیو پست ها
1 685
Metavariables: their Implementation and Use in Program Transformation
https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf
1 685
Convergence of program transformers in the metric space of trees
https://www.sciencedirect.com/science/article/pii/S016764239900026X
1 685
A tutorial implementation of dynamic pattern unification
https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf
1 685
Typelevel Brainfuck in Haskell; Brainfuck implemented solely in Haskell's type system
https://github.com/toptobes/typefuck-haskell
1 685
Why is Idris 2 so much faster than Idris 1?
https://www.type-driven.org.uk/edwinb/category/posts.html
1 685
A Self-Applicable Supercompiler
http://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf
1 685
Time- and Size-Efficient Supercompilation
https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf
1 685
ITT-Flavored Calculus of Constructions Type Checker
https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78
1 685
Higher-order polymorphic lambda calculus (Fω)
https://gist.github.com/Hirrolot/505901460f131da1f0cd8b118e46a7bc
1 685
Why I Use the GPL and Not Cuck Licenses
https://lukesmith.xyz/articles/why-i-use-the-gpl-and-not-cuck-licenses/
1 685
Tailored Termination for Optimal Supercompilation
https://www.cs.purdue.edu/homes/bendy/TailoredSuperOptimization/BespokeSO.pdf
1 685
The Quest Language and System
Luca Cardelli
http://lucacardelli.name/Papers/Notes/QuestManual.pdf
1 685
Transaction Isolation in Postgres DataBase
https://www.thenile.dev/blog/transaction-isolation-postgres
1 685
A Roadmap to Metacomputation by Supercompilation
https://web.archive.org/web/20130628231908/http://repository.readscheme.org/ftp/papers/dagstuhl-pe96/02.pdf
1 685
Progress towards a GCC-based Rust compiler
https://lwn.net/SubscriberLink/954787/41470c731eda02a4/
1 685
Bidirectional Elaboration of Dependently Typed Programs
https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf
1 685
Continuous Normalization for the Lambda-Calculus and Gödel’s T
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b
