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
Taming Context-Sensitive Languages with Principled Stateful Parsing
R.I.P.
👻
Ghosted
Solving non-linear Horn clauses using a linear Horn clause solver
R.I.P.
👻
Ghosted
A Modular Structural Operational Semantics for Delimited Continuations
R.I.P.
👻
Ghosted
Towards Understanding Generics in Mainstream OOP
R.I.P.
👻
Ghosted
Using session types as an effect system
R.I.P.
👻
Ghosted
Towards Energy Consumption Verification via Static Analysis
R.I.P.
👻
Ghosted
Deductive Verification of Parallel Programs Using Why3
R.I.P.
👻
Ghosted
On Distributed Density in Tuple-based Coordination Languages
R.I.P.
👻
Ghosted
Pointer Race Freedom
R.I.P.
👻
Ghosted
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs
R.I.P.
👻
Ghosted
Adding Partial Functions to Constraint Logic Programming with Sets
R.I.P.
👻
Ghosted
Type Classes for Lightweight Substructural Types
R.I.P.
👻
Ghosted
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
R.I.P.
👻
Ghosted
The MLIR Transform Dialect. Your compiler is more powerful than you think
R.I.P.
👻
Ghosted
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
R.I.P.
👻
Ghosted
Numerical Fuzz: A Type System for Rounding Error Analysis
R.I.P.
👻
Ghosted
A Two-Phase Infinite/Finite Low-Level Memory Model
R.I.P.
👻
Ghosted
Operational methods in semantics
R.I.P.
👻
Ghosted
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
R.I.P.
👻
Ghosted
Bit Blasting Probabilistic Programs
R.I.P.
👻
Ghosted
VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
R.I.P.
👻
Ghosted
VyZX: Formal Verification of a Graphical Quantum Language
R.I.P.
👻
Ghosted