R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
Taming the Beast: Fully Automated Unit Testing with Coyote C++
R.I.P.
👻
Ghosted
PermRust: A Token-based Permission System for Rust
R.I.P.
👻
Ghosted
Toward a Corpus Study of the Dynamic Gradual Type
R.I.P.
👻
Ghosted
Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
R.I.P.
👻
Ghosted
Dependent Session Types for Verified Concurrent Programming
R.I.P.
👻
Ghosted
A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
R.I.P.
👻
Ghosted
ZipLex: Verified Invertible Lexing with Memoized Derivatives and Zippers
R.I.P.
👻
Ghosted
Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
R.I.P.
👻
Ghosted
Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
R.I.P.
👻
Ghosted
Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
R.I.P.
👻
Ghosted
HITrees: Higher-Order Interaction Trees
R.I.P.
👻
Ghosted
A Complementary Approach to Incorrectness Typing
R.I.P.
👻
Ghosted
Extensibility in Programming Languages: An overview
R.I.P.
👻
Ghosted
Functional Reasoning for Distributed Systems with Failures
R.I.P.
👻
Ghosted
(Dis)Proving Spectre Security with Speculation-Passing Style
R.I.P.
👻
Ghosted
Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
R.I.P.
👻
Ghosted
Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
R.I.P.
👻
Ghosted
Old is Gold: Optimizing Single-threaded Applications with Exgen-Malloc
R.I.P.
👻
Ghosted
ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions
R.I.P.
👻
Ghosted
Typestate via Revocable Capabilities
R.I.P.
👻
Ghosted
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
R.I.P.
👻
Ghosted
Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
R.I.P.
👻
Ghosted