🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3767
Total Papers
3450
No Code
30
Twilight
287
Has Code
7.6%
Survival Rate
R.I.P.
👻
Ghosted
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
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
R.I.P.
👻
Ghosted
Fragments of ML Decidable by Nested Data Class Memory Automata
R.I.P.
👻
Ghosted
Lazy TSO Reachability
R.I.P.
👻
Ghosted