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
Precise Reasoning About Container-Internal Pointers with Logical Pinning
R.I.P.
👻
Ghosted
Efficient Cost Bounds with Linear Maps
R.I.P.
👻
Ghosted
Latency Based Tiling
R.I.P.
👻
Ghosted
Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
R.I.P.
👻
Ghosted
Efficient Symbolic Computation via Hash Consing
R.I.P.
👻
Ghosted
The Syntax and Semantics of einsum
R.I.P.
👻
Ghosted
Macro-embedding Compiler Intermediate Languages in Racket
R.I.P.
👻
Ghosted
A Verified Compiler for Quantum Simulation
R.I.P.
👻
Ghosted
Automatic layout of railroad diagrams
R.I.P.
👻
Ghosted
DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
R.I.P.
👻
Ghosted
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
R.I.P.
👻
Ghosted
CLMTracing: Black-box User-level Watermarking for Code Language Model Tracing
R.I.P.
👻
Ghosted
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
R.I.P.
👻
Ghosted
Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
R.I.P.
👻
Ghosted
Rebound: Efficient, Expressive, and Well-Scoped Binding
R.I.P.
👻
Ghosted
Navigating the Python Type Jungle
R.I.P.
👻
Ghosted
Pleasant Imperative Program Proofs with GallinaC
R.I.P.
👻
Ghosted
Efficient Compilation of Algorithms into Compact Linear Programs
R.I.P.
👻
Ghosted
Converting IEC 61131-3 LD into SFC Using Large Language Model: Dataset and Testing
R.I.P.
👻
Ghosted
Expressive Power of One-Shot Control Operators and Coroutines
R.I.P.
👻
Ghosted
Mechanizing Synthetic Tait Computability in Istari
R.I.P.
👻
Ghosted
Dependent-Type-Preserving Memory Allocation
R.I.P.
👻
Ghosted