R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3694
Total Papers
3466
No Code
21
Twilight
207
Has Code
5.6%
Survival Rate
R.I.P.
👻
Ghosted
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
R.I.P.
👻
Ghosted
Active Learning of Points-To Specifications
R.I.P.
👻
Ghosted
Correctness of Speculative Optimizations with Dynamic Deoptimization
R.I.P.
👻
Ghosted
Automating Deductive Verification for Weak-Memory Programs
R.I.P.
👻
Ghosted
An Erlang Implementation of Multiparty Session Actors
R.I.P.
👻
Ghosted
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
R.I.P.
👻
Ghosted
Types from data: Making structured data first-class citizens in F#
R.I.P.
👻
Ghosted
Choreographies in Practice
R.I.P.
👻
Ghosted
A Language for the Declarative Composition of Concurrent Protocols
R.I.P.
👻
Ghosted
Abstraction Refinement Guided by a Learnt Probabilistic Model
R.I.P.
👻
Ghosted
Verified Code Transpilation with LLMs
R.I.P.
👻
Ghosted
DynamiTe: Dynamic Termination and Non-termination Proofs
R.I.P.
👻
Ghosted
Internalizing Representation Independence with Univalence
R.I.P.
👻
Ghosted
Duality of Session Types: The Final Cut
R.I.P.
👻
Ghosted
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
R.I.P.
👻
Ghosted
A Message-Passing Interpretation of Adjoint Logic
R.I.P.
👻
Ghosted
JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs
R.I.P.
👻
Ghosted
A wide-spectrum language for verification of programs on weak memory models
R.I.P.
👻
Ghosted
jsCoq: Towards Hybrid Theorem Proving Interfaces
R.I.P.
👻
Ghosted
A Verified Compiler for Probability Density Functions
R.I.P.
👻
Ghosted
Rusty Variation: Deadlock-free Sessions with Failure in Rust
R.I.P.
👻
Ghosted
The Marriage of Univalence and Parametricity
R.I.P.
👻
Ghosted