¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Programming Deadlock

Ir al canal en Telegram

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

EEUU10 683 Tecnologías y Aplicaciones32 907

Buy Ad

1 870

Suscriptores

+124 horas

+77 días

+3830 días

1 412

Visitas de la publicación

~ 41124 horas

~ 46848 horas

75.55%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 874

Higher-order polymorphic lambda calculus (Fω) https://gist.github.com/Hirrolot/505901460f131da1f0cd8b118e46a7bc

1 874

Why I Use the GPL and Not Cuck Licenses https://lukesmith.xyz/articles/why-i-use-the-gpl-and-not-cuck-licenses/

1 874

Tailored Termination for Optimal Supercompilation https://www.cs.purdue.edu/homes/bendy/TailoredSuperOptimization/BespokeSO.pdf

1 874

The Quest Language and System Luca Cardelli http://lucacardelli.name/Papers/Notes/QuestManual.pdf

1 874

Handbook of Applied Cryptography https://cacr.uwaterloo.ca/hac/

1 874

Transaction Isolation in Postgres DataBase https://www.thenile.dev/blog/transaction-isolation-postgres

1 874

A Roadmap to Metacomputation by Supercompilation https://web.archive.org/web/20130628231908/http://repository.readscheme.org/ftp/papers/dagstuhl-pe96/02.pdf

1 874

Progress towards a GCC-based Rust compiler https://lwn.net/SubscriberLink/954787/41470c731eda02a4/

1 874

Bidirectional Elaboration of Dependently Typed Programs https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf

1 874

Continuous Normalization for the Lambda-Calculus and Gödel’s T https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b

1 874

Bidirectional Typing https://arxiv.org/pdf/1908.05839.pdf

1 874

Don’t Substitute Into Abstractions (Functional Pearl) https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf

1 874

Elaboration with First-Class Implicit Function Types https://dl.acm.org/doi/pdf/10.1145/3408983

1 874

Contracts for Higher-Order Functions https://users.cs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf

1 874

Handlers in Action https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf

1 874

A Polymorphic λ-calculus with Type:Type http://lucacardelli.name/Papers/TypeType.pdf

1 874

CPython Dynamic Dispatch Internals https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals

1 874

Harder Drive: Hard drives we didn't want or need https://youtu.be/JcJSW7Rprio?si=xNG96RVJwc60IJUt

1 874

The Bologna Optimal Higher-order Machine https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1F2763B0F931680F9B15BDC750BEB343/S0956796800001994a.pdf/bologna_optimal_higherorder_machine.pdf

1 874

Compiling a Functional Language Luca Cardelli http://lucacardelli.name/Papers/CompilingML.A4.pdf