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
Rows and Capabilities as Modal Effects
R.I.P.
👻
Ghosted
Modelling Program Spaces in Program Synthesis with Constraints
R.I.P.
👻
Ghosted
Optimized Execution of FreeCHR
R.I.P.
👻
Ghosted
A Language-Agnostic Logical Relation for Message-Passing Protocols
R.I.P.
👻
Ghosted
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
R.I.P.
👻
Ghosted
Using Code Snippets to Teach Programming Languages
R.I.P.
👻
Ghosted
Local Type Inference for Context-Free Session Types
R.I.P.
👻
Ghosted
Verifying Tree-Manipulating Programs via CHCs
R.I.P.
👻
Ghosted
Transductively Informed Inductive Program Synthesis
R.I.P.
👻
Ghosted
Disassembly as Weighted Interval Scheduling with Learned Weights
R.I.P.
👻
Ghosted
Annotating and Auditing the Safety Properties of Unsafe Rust
R.I.P.
👻
Ghosted
Rulebook: bringing co-routines to reinforcement learning environments
R.I.P.
👻
Ghosted
Automatic Goal Clone Detection in Rocq
R.I.P.
👻
Ghosted
Universal Algebra and Effectful Computation
R.I.P.
👻
Ghosted
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
R.I.P.
👻
Ghosted
A Refined Operational Semantics for FreeCHR
R.I.P.
👻
Ghosted
Handling the Selection Monad (Full Version)
R.I.P.
👻
Ghosted
Pel, A Programming Language for Orchestrating AI Agents
R.I.P.
👻
Ghosted
Language-Integrated Recursive Queries
R.I.P.
👻
Ghosted
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
R.I.P.
👻
Ghosted
Precise Static Identification of Ethereum Storage Variables (Extended Version)
R.I.P.
👻
Ghosted
Linear-Time Graph Programs without Preconditions
R.I.P.
👻
Ghosted