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
Galois Slicing as Automatic Differentiation
R.I.P.
👻
Ghosted
Soteria: Efficient Symbolic Execution as a Functional Library
R.I.P.
👻
Ghosted
Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
R.I.P.
👻
Ghosted
A Data-driven Analysis of Code Optimizations
R.I.P.
👻
Ghosted
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
R.I.P.
👻
Ghosted
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
R.I.P.
👻
Ghosted
Oriented Metrics for Bottom-Up Enumerative Synthesis
R.I.P.
👻
Ghosted
Typed Embedding of miniKanren for Functional Conversion
R.I.P.
👻
Ghosted
Equality Saturation Guided by Large Language Models
R.I.P.
👻
Ghosted
Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
R.I.P.
👻
Ghosted
Fair intersection of seekable iterators
R.I.P.
👻
Ghosted
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
R.I.P.
👻
Ghosted
Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
R.I.P.
👻
Ghosted
Compiling the Mimosa programming language to RTOS tasks
R.I.P.
👻
Ghosted
Deconstructed Proto-Quipper: A Rational Reconstruction
R.I.P.
👻
Ghosted
A Behavior Tree-inspired programming language for autonomous agents
R.I.P.
👻
Ghosted
Failure Transparency in Stateful Dataflow Systems (Technical Report)
R.I.P.
👻
Ghosted
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
R.I.P.
👻
Ghosted
Detrimental task execution patterns in mainstream OpenMP runtimes
R.I.P.
👻
Ghosted
Session Types for the Transport Layer: Towards an Implementation of TCP
R.I.P.
👻
Ghosted
DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
R.I.P.
👻
Ghosted
Comprehensive Verification of Packet Processing
R.I.P.
👻
Ghosted