Programming Deadlock

Открыть в Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Больше

США11 795 Технологии и приложения34 159

1 684

Подписчики

+324 часа

+87 дней

+3630 день

1 117

Просмотры поста

~ 33724 часа

~ 39048 часов

66.29%

Коэффициент вовлеченности

Нет данных

Постов в день

Ads index

beta

Архив постов

1 685

Unboxed data constructors or, how cpp decides a halting problem https://arxiv.org/pdf/2311.07369.pdf

1 685

The Essence of ML https://web.mit.edu/ghc/old.ghc/programatica/tools/semantics/Overloading/Related/essence-of-ML-mitchell.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

OCaml for the Masses https://queue.acm.org/detail.cfm?id=2038036

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