اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
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 684
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
1 684
Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
1 684
Dependently typed programming with singletons
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
1 684
Tagless-final embedding of (a subset of) C in OCaml
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
1 684
C++ Safety, in Context
https://herbsutter.com/2024/03/11/safety-in-context/
1 684
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
https://arxiv.org/abs/2403.04582v2
1 684
Optimizing Rabin-Karp Hashing
https://mattsills.github.io/2024/03/02/rabin-karp/
1 684
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
https://arxiv.org/abs/2301.10061v3
1 684
itertools::Itertools::coalescehttps://docs.rs/itertools/latest/itertools/trait.Itertools.html#method.coalesce
1 684
Write You A Scheme (Version 2)
https://wespiser.com/writings/wyas/home.html
1 684
Write Yourself a Scheme in 48 Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
1 684
Self Types for Dependently Typed Lambda Encodings
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
1 684
Generalized Autoref-Based Specialization
http://lukaskalbertodt.github.io/2019/12/05/generalized-autoref-based-specialization.html
1 684
The syntax of C in Backus-Naur Form
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
1 684
The Principle of Categorical Harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
1 684
Language Oriented Programming
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=825a90a7eaebd7082d883b198e1a218295e0ed3b
