Programming Deadlock

Ir al canal en Telegram

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

EEUU10 581 Tecnologías y Aplicaciones31 123

1 790

Suscriptores

-124 horas

+77 días

+4230 días

938

Visitas de la publicación

~ 34824 horas

~ 46448 horas

52.40%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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

1 790

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 790

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

1 790

Introduction to the Calculus of Inductive Constructions https://inria.hal.science/hal-01094195/document

1 790

POPL 2024 https://popl24.sigplan.org/track/POPL-2024-popl-research-papers#event-overview

1 790

Arend is a theorem prover and a programming language based on Homotopy Type Theory. https://github.com/JetBrains/Arend

1 790

Higher-Kinded Data https://reasonablypolymorphic.com/blog/higher-kinded-data/

1 790

The algebra of boolean satisfiability https://piedeleu.com/posts/algebra-of-sat/

1 790

Normalization by hereditary substitutions https://www.cs.nott.ac.uk/~psztxa/publ/msfp10.pdf