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
A Monadic Framework for Delimited Continuations
https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf
1 875
Few lesser known tricks, quirks and features of C
https://jorengarenar.github.io/blog/less-known-c
1 875
Structures in C: From Basics to Memory Alignment
https://abstractexpr.com/2023/06/29/structures-in-c-from-basics-to-memory-alignment/
1 875
Case Study: Algorithmic Trading With Go
https://polygon.io/blog/case-study-algorithmict-trading-with-go/
1 875
Typed Closure Conversion for the Calculus of Constructions
https://arxiv.org/pdf/1808.04006.pdf
1 875
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
https://verdagon.dev/blog/vale-memory-safe-cpp
1 875
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
https://github.com/koka-lang/libhandler
1 875
Introduction to Programming with Shift and Reset
http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf
1 875
Systems Software Research is Irrelevant
Rob Pike
Feb 21, 2000
http://www.herpolhode.com/rob/utah2000.pdf
1 875
Monads for functional programming
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
1 875
Implementing Algebraic Effects in C
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
1 875
Algebraic Effects for Functional Programming
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
