🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3729
Total Papers
3466
No Code
21
Twilight
242
Has Code
6.5%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Ferrite: A Judgmental Embedding of Session Types in Rust
R.I.P.
👻
Ghosted
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
R.I.P.
👻
Ghosted
Denotational recurrence extraction for amortized analysis
R.I.P.
👻
Ghosted
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
R.I.P.
👻
Ghosted
Diamonds are not forever: Liveness in reactive programming with guarded recursion
R.I.P.
👻
Ghosted
Bacatá: Notebooks for DSLs, Almost for Free
R.I.P.
👻
Ghosted
Joint Distributions for TensorFlow Probability
R.I.P.
👻
Ghosted
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
R.I.P.
👻
Ghosted
Trace-Relating Compiler Correctness and Secure Compilation
R.I.P.
👻
Ghosted
Proof Pearl: Magic Wand as Frame
R.I.P.
👻
Ghosted
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
R.I.P.
👻
Ghosted
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
R.I.P.
👻
Ghosted
Bidirectional Type Checking for Relational Properties
R.I.P.
👻
Ghosted
Trace Abstraction Modulo Probability
R.I.P.
👻
Ghosted
Feature-Specific Profiling
R.I.P.
👻
Ghosted
Competitive Parallelism: Getting Your Priorities Right
R.I.P.
👻
Ghosted
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
R.I.P.
👻
Ghosted
LoopInvGen: A Loop Invariant Generator based on Precondition Inference
R.I.P.
👻
Ghosted
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
R.I.P.
👻
Ghosted
The Complexity of Abstract Machines
R.I.P.
👻
Ghosted
MiniZinc with Strings
R.I.P.
👻
Ghosted
Domain Theory: An Introduction
R.I.P.
👻
Ghosted