Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 791
订阅者
-124 小时
+77 天
+4230 天
帖子存档
1 791
Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems
https://queue.acm.org/detail.cfm?id=33251321 791
Extensible records with scoped labels
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf
1 791
How to make ad-hoc polymorphism less ad hoc
https://users.csc.calpoly.edu/~akeen/courses/csc530/references/wadler.pdf
1 791
MIR: A lightweight JIT compiler project
https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project1 791
MIR-based JIT prototype for Ruby
https://developers.redhat.com/articles/2023/10/09/mir-based-jit-prototype-ruby
1 791
An Algebraic Approach to Typechecking and Elaboration
https://bentnib.org/docs/algebraic-typechecking-20150218.pdf
1 791
Lightweight higher-kinded polymorphism
https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
1 791
Memory Safety in a Modern Systems Programming (D)
https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a-modern-system-programming-language-pt-1/
1 791
Can You Trust a Compiler to Optimize Your Code? (Rust)
https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html
1 791
How to Use Monadic Operations for
std::optional in C++23
https://www.cppstories.com/2023/monadic-optional-ops-cpp23/1 791
Making a fast curry: push/enter vs. eval/apply for higher-order languages
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf
1 791
Complete Bidirectional Typing for the Calculus of Inductive Constructions
https://arxiv.org/pdf/2102.06513.pdf
