🏛️ 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
The Autonomous Data Language -- Concepts, Design and Formal Verification
R.I.P.
👻
Ghosted
A System Level Compiler for Massively-Parallel, Spatial, Dataflow Architectures
R.I.P.
👻
Ghosted
Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
R.I.P.
👻
Ghosted
Compiling Set Queries into Work-Efficient Tree Traversals
R.I.P.
👻
Ghosted
Towards Relational Contextual Equality Saturation
R.I.P.
👻
Ghosted
Semantic foundations of equality saturation
R.I.P.
👻
Ghosted
Equivalence Checking of ML GPU Kernels
R.I.P.
👻
Ghosted
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
R.I.P.
👻
Ghosted
Omnidirectional type inference for ML: principality any way
R.I.P.
👻
Ghosted
A Deep Learning Model for Predicting Transformation Legality
R.I.P.
👻
Ghosted
\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
R.I.P.
👻
Ghosted
Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
R.I.P.
👻
Ghosted
Concurrent Data Structures Made Easy (Extended Version)
R.I.P.
👻
Ghosted
Suki: Choreographed Distributed Dataflow in Rust
R.I.P.
👻
Ghosted
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
R.I.P.
👻
Ghosted
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
R.I.P.
👻
Ghosted
Laws of Quantum Programming
R.I.P.
👻
Ghosted
Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
R.I.P.
👻
Ghosted
An Incremental Algorithm for Algebraic Program Analysis
R.I.P.
👻
Ghosted
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
R.I.P.
👻
Ghosted
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
R.I.P.
👻
Ghosted
Explicit Weakening
R.I.P.
👻
Ghosted