Programming Deadlock

前往频道在 Telegram

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

显示更多

美国11 795 技术与应用34 159

1 685

订阅者

+324 小时

+87 天

+3630 天

1 117

帖子浏览量

~ 33724 小时

~ 39048 小时

66.29%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

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

1 685

Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady https://www.type-driven.org.uk/edwinb/papers/effects.pdf

1 685

Lone is a freestanding Lisp interpreter designed to run directly on top of the Linux kernel with full support for Linux system calls. It has zero dependencies, not even the C standard library. https://github.com/lone-lang/lone

1 685

The Boolean Satisfiability Problem: an overview of solving techniques and applications https://inria.hal.science/hal-03589602/file/ClementinTayou-mai2021.pdf

1 685

Features of a dream programming language: 3rd draft https://magnemg.eu/features-of-a-dream-programming-language-3rd-draft

1 685

A context-based approach to proving termination of evaluation https://ii.uni.wroc.pl/~mabi/papers/mfps09.pdf