Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 876
订阅者
+624 小时
+127 天
+4030 天
帖子存档
1 875
Static Analysis: A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
https://github.com/analysis-tools-dev/static-analysis1 875
Dynamic Typing with Dependent Types
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CDB85CF2624D664734495EE3C4202BAC?doi=10.1.1.119.6649&rep=rep1&type=pdf
1 875
Effective Programming: Adding an Effect System to OCaml
https://www.janestreet.com/tech-talks/effective-programming/
1 875
Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems
https://queue.acm.org/detail.cfm?id=33251321 875
Extensible records with scoped labels
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scopedlabels.pdf
1 875
How to make ad-hoc polymorphism less ad hoc
https://users.csc.calpoly.edu/~akeen/courses/csc530/references/wadler.pdf
1 875
MIR: A lightweight JIT compiler project
https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project1 875
MIR-based JIT prototype for Ruby
https://developers.redhat.com/articles/2023/10/09/mir-based-jit-prototype-ruby
1 875
An Algebraic Approach to Typechecking and Elaboration
https://bentnib.org/docs/algebraic-typechecking-20150218.pdf
1 875
Lightweight higher-kinded polymorphism
https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
