现已上线！2025 年 Telegram 研究 — 年度关键洞察 
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
Unboxed data constructors
or, how cpp decides a halting problem
https://arxiv.org/pdf/2311.07369.pdf
1 685
On The Type Structure of Standard ML
https://web.archive.org/web/20170808093949id_/http://theory.stanford.edu/~jcm/papers/harper-mitch-TOPLAS-93.pdf
1 685
Typeful Normalization by Evaluation
https://cedric.cnam.fr/~puechm/typeful.pdf
1 685
Higher-Order Modules and the Phase Distinction
https://www-cs.stanford.edu/people/jcm/papers/harper-mm-90.pdf
1 685
Using Dependent Types to Express Modular Structure
https://dl.acm.org/doi/pdf/10.1145/512644.512670
1 685
Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step (C++)
https://www.youtube.com/watch?v=ncHmEUmJZf4
1 685
HyperTree Proof Search for Neural Theorem Proving
https://arxiv.org/pdf/2205.11491.pdf
1 685
Abstract interpretation for type checking
https://sci-hub.ru/10.1007/3-540-54444-5_108
1 685
Types as Abstract Interpretations
https://dl.acm.org/doi/pdf/10.1145/263699.263744
1 685
Reified Lambda Functions
https://www.artima.com/weblogs/viewpost.jsp?thread=277879
1 685
An Alternative to Closure Conversion and to Restricted Closures
https://www.artima.com/weblogs/viewpost.jsp?thread=220920
1 685
Ephemerons: A New Finalization Mechanism
https://dl.acm.org/doi/pdf/10.1145/263700.263733
1 685
Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree
http://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf
1 685
Program transformation with metasystem transitions
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf
1 685
Towards a Programming Language for Interaction Nets
https://core.ac.uk/download/pdf/82392928.pdf
1 685
Go: What We Got Right, What We Got Wrong
https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html
1 685
Interaction Nets
Yves Lafont
https://dl.acm.org/doi/pdf/10.1145/96709.96718
1 685
Solving SAT via interaction net superpositions
https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615
