R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3738
Total Papers
3466
No Code
21
Twilight
251
Has Code
6.7%
Survival Rate
R.I.P.
👻
Ghosted
A Hybrid Approach to Semi-automated Rust Verification
R.I.P.
👻
Ghosted
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
R.I.P.
👻
Ghosted
The Design Principles of the Elixir Type System
R.I.P.
👻
Ghosted
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
R.I.P.
👻
Ghosted
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs
R.I.P.
👻
Ghosted
Strongly-Normalizing Higher-Order Relational Queries
R.I.P.
👻
Ghosted
Repairing DoS Vulnerability of Real-World Regexes
R.I.P.
👻
Ghosted
Resources: A Safe Language Abstraction for Money
R.I.P.
💀
404 Not Found
A Language for Describing Optimization Strategies
R.I.P.
👻
Ghosted
Decidable Synthesis of Programs with Uninterpreted Functions
R.I.P.
👻
Ghosted
On the Design, Implementation, and Use of Laziness in R
R.I.P.
👻
Ghosted
Type-Directed Program Synthesis and Constraint Generation for Library Portability
R.I.P.
👻
Ghosted
Recovering Purity with Comonads and Capabilities
R.I.P.
👻
Ghosted
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
R.I.P.
👻
Ghosted
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
R.I.P.
👻
Ghosted
FreeST: Context-free Session Types in a Functional Language
R.I.P.
👻
Ghosted
Modalities, Cohesion, and Information Flow
R.I.P.
👻
Ghosted
Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis
R.I.P.
👻
Ghosted
An Application of Computable Distributions to the Semantics of Probabilistic Programs
R.I.P.
👻
Ghosted
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
R.I.P.
👻
Ghosted
Permission Inference for Array Programs
R.I.P.
👻
Ghosted
Deadlock-Free Typestate-Oriented Programming
R.I.P.
👻
Ghosted