R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3703
Total Papers
3466
No Code
21
Twilight
216
Has Code
5.8%
Survival Rate
R.I.P.
👻
Ghosted
Loop Summarization with Rational Vector Addition Systems (extended version)
R.I.P.
👻
Ghosted
No more, no less - A formal model for serverless computing
R.I.P.
👻
Ghosted
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
R.I.P.
👻
Ghosted
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
R.I.P.
👻
Ghosted
Ann: A domain-specific language for the effective design and validation of Java annotations
R.I.P.
👻
Ghosted
Synthesizing Symmetric Lenses
R.I.P.
👻
Ghosted
Codestitcher: Inter-Procedural Basic Block Layout Optimization
R.I.P.
👻
Ghosted
Functional Federated Learning in Erlang (ffl-erl)
R.I.P.
👻
Ghosted
A Generalized Modality for Recursion
R.I.P.
👻
Ghosted
Depending on Session-Typed Processes
R.I.P.
👻
Ghosted
Refinement Types for Ruby
R.I.P.
👻
Ghosted
A Simple Soundness Proof for Dependent Object Types
R.I.P.
👻
Ghosted
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter
R.I.P.
👻
Ghosted
A monad for full ground reference cells
R.I.P.
👻
Ghosted
Leveraging Parallel Data Processing Frameworks with Verified Lifting
R.I.P.
👻
Ghosted
Syntax and semantics of the weak consistency model specification language cat
R.I.P.
👻
Ghosted
Just-in-Time Static Type Checking for Dynamic Languages
R.I.P.
👻
Ghosted
Effect-Dependent Transformations for Concurrent Programs
R.I.P.
👻
Ghosted
Refinement Type Inference via Horn Constraint Optimization
R.I.P.
👻
Ghosted
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
R.I.P.
👻
Ghosted
FLAME: A small language model for spreadsheet formulas
R.I.P.
👻
Ghosted
Scalene: Scripting-Language Aware Profiling for Python
R.I.P.
👻
Ghosted