Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

Programming Deadlock

Kanalga Telegram’da o‘tish

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

Ko'proq ko'rsatish

AQSH10 683 Texnologiyalar & Aralashmalar32 907

Buy Ad

1 870

Obunachilar

+124 soatlar

+77 kun

+3830 kun

1 412

Post ko'rishlar

~ 41124 soatlar

~ 46848 soatlar

75.55%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 872

Types as Abstract Interpretations https://dl.acm.org/doi/pdf/10.1145/263699.263744

1 872

Reified Lambda Functions https://www.artima.com/weblogs/viewpost.jsp?thread=277879

1 872

An Alternative to Closure Conversion and to Restricted Closures https://www.artima.com/weblogs/viewpost.jsp?thread=220920

1 872

Ephemerons: A New Finalization Mechanism https://dl.acm.org/doi/pdf/10.1145/263700.263733

1 872

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 872

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 872

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

1 872

Towards a Programming Language for Interaction Nets https://core.ac.uk/download/pdf/82392928.pdf

1 872

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 872

Interaction Nets Yves Lafont https://dl.acm.org/doi/pdf/10.1145/96709.96718

1 872

Solving SAT via interaction net superpositions https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615

1 872

Metavariables: their Implementation and Use in Program Transformation https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf

1 872

GCC JIT Library https://gcc.gnu.org/onlinedocs/jit

1 872

Convergence of program transformers in the metric space of trees https://www.sciencedirect.com/science/article/pii/S016764239900026X

1 872

A tutorial implementation of dynamic pattern unification https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf

1 872

Typelevel Brainfuck in Haskell; Brainfuck implemented solely in Haskell's type system https://github.com/toptobes/typefuck-haskell

1 872

Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/category/posts.html

1 872

A Self-Applicable Supercompiler http://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf

1 872

Time- and Size-Efficient Supercompilation https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf

1 872

ITT-Flavored Calculus of Constructions Type Checker https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78