🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Reliability and Fault-Tolerance by Choreographic Design
R.I.P.
👻
Ghosted
On the decidability of the existence of polyhedral invariants in transition systems
R.I.P.
👻
Ghosted
Bonsai: Synthesis-Based Reasoning for Type Systems
R.I.P.
👻
Ghosted
Checking Linearizability of Concurrent Priority Queues
R.I.P.
👻
Ghosted
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing
R.I.P.
👻
Ghosted
Towards Trustworthy Refactoring in Erlang
R.I.P.
👻
Ghosted
Variations on Variants
R.I.P.
👻
Ghosted
A Simple Semantics for Haskell Overloading
R.I.P.
👻
Ghosted
Incrementally Closing Octagons
R.I.P.
👻
Ghosted
Syntax and analytic semantics of LISA
R.I.P.
👻
Ghosted
Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators
R.I.P.
👻
Ghosted
Liquid Information Flow Control
R.I.P.
👻
Ghosted
Automatic Optimization of Hardware Accelerators for Image Processing
R.I.P.
👻
Ghosted
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory
R.I.P.
👻
Ghosted
Time complexity of concurrent programs
R.I.P.
👻
Ghosted
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
R.I.P.
👻
Ghosted
A Reference Interpreter for the Graph Programming Language GP 2
R.I.P.
👻
Ghosted
Comparative Studies of Six Programming Languages
R.I.P.
👻
Ghosted
On instruction sets for Boolean registers in program algebra
R.I.P.
👻
Ghosted
TPU-MLIR: A Compiler For TPU Using MLIR
R.I.P.
👻
Ghosted
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
R.I.P.
👻
Ghosted
Optimizing Quantum Circuits, Fast and Slow
R.I.P.
👻
Ghosted