R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3767
Total Papers
3450
No Code
30
Twilight
287
Has Code
7.6%
Survival Rate
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
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
R.I.P.
👻
Ghosted
Theory Exploration Powered By Deductive Synthesis
R.I.P.
👻
Ghosted
Approximate Normalization for Gradual Dependent Types
R.I.P.
👻
Ghosted