R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
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
Efficient Mendler-Style Lambda-Encodings in Cedille
R.I.P.
👻
Ghosted
Call-by-name Gradual Type Theory
R.I.P.
👻
Ghosted
Invariant Synthesis for Incomplete Verification Engines
R.I.P.
👻
Ghosted
A Permission-Dependent Type System for Secure Information Flow Analysis
R.I.P.
👻
Ghosted