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
Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
R.I.P.
👻
Ghosted
Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
R.I.P.
👻
Ghosted
A Denotational Semantics for Quantum Loops
R.I.P.
👻
Ghosted
PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
R.I.P.
👻
Ghosted
Deadlock-free Context-free Session Types
R.I.P.
👻
Ghosted
Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
R.I.P.
👻
Ghosted
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
R.I.P.
👻
Ghosted
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
R.I.P.
👻
Ghosted
A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
R.I.P.
👻
Ghosted
StacKAT: Infinite State Network Verification
R.I.P.
👻
Ghosted
Freer Arrows and Why You Need Them in Haskell
R.I.P.
👻
Ghosted
ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
R.I.P.
👻
Ghosted
A Performance Model for Warp Specialization Kernels
R.I.P.
👻
Ghosted
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
R.I.P.
👻
Ghosted
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
R.I.P.
👻
Ghosted
Gradual Metaprogramming
R.I.P.
👻
Ghosted
Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
R.I.P.
👻
Ghosted
Verification of the Release-Acquire Semantics
R.I.P.
👻
Ghosted
From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
R.I.P.
👻
Ghosted
Reasoning about External Calls
R.I.P.
👻
Ghosted
An Execution Model for RICE
R.I.P.
👻
Ghosted
Improving compiler support for SIMD offload using Arm Streaming SVE
R.I.P.
👻
Ghosted