🏛️ 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
Decidable Verification of Uninterpreted Programs
R.I.P.
👻
Ghosted
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
R.I.P.
👻
Ghosted
Reversing Parallel Programs with Blocks and Procedures
R.I.P.
👻
Ghosted
Efficient and Deterministic Record & Replay for Actor Languages
R.I.P.
👻
Ghosted
Incremental and Modular Context-sensitive Analysis
R.I.P.
👻
Ghosted
Generic Zero-Cost Reuse for Dependent Types
R.I.P.
👻
Ghosted
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
R.I.P.
👻
Ghosted
Compositional Verification of Compiler Optimisations on Relaxed Memory
R.I.P.
👻
Ghosted
Putting in All the Stops: Execution Control for JavaScript
R.I.P.
👻
Ghosted
A Fast Causal Profiler for Task Parallel Programs
R.I.P.
👻
Ghosted
A Productivity Checker for Logic Programming
R.I.P.
👻
Ghosted
SecCoder: Towards Generalizable and Robust Secure Code Generation
R.I.P.
👻
Ghosted
Statically Contextualizing Large Language Models with Typed Holes
R.I.P.
👻
Ghosted
Modular Denotational Semantics for Effects with Guarded Interaction Trees
R.I.P.
👻
Ghosted
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity
R.I.P.
👻
Ghosted
Rast: A Language for Resource-Aware Session Types
R.I.P.
👻
Ghosted
A Modern Compiler for the French Tax Code
R.I.P.
👻
Ghosted
Modeling Black-Box Components with Probabilistic Synthesis
R.I.P.
👻
Ghosted
CAMP: Cost-Aware Multiparty Session Protocols
R.I.P.
👻
Ghosted
Explicit Effect Subtyping
R.I.P.
👻
Ghosted
Learned Garbage Collection
R.I.P.
👻
Ghosted
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
R.I.P.
👻
Ghosted