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
Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
R.I.P.
👻
Ghosted
Critical Semantic Properties of Music Notation Datasets
R.I.P.
👻
Ghosted
Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
R.I.P.
👻
Ghosted
Cost Analysis for Import and Export Using an Abstract Machine
R.I.P.
👻
Ghosted
C-lisp and Flexible Macro Programming with S-expressions
R.I.P.
👻
Ghosted
A Distribution Semantics for Probabilistic Term Rewriting
R.I.P.
👻
Ghosted
Towards Automated Verification of LLM-Synthesized C Programs
R.I.P.
👻
Ghosted
Membership Testing for Semantic Regular Expressions
R.I.P.
👻
Ghosted
Abstracting Extensible Recursive Functions
R.I.P.
👻
Ghosted
Unboxing Virgil ADTs for Fun and Profit
R.I.P.
👻
Ghosted
Data Models of German Lute Tablature With TScore
R.I.P.
👻
Ghosted
Programming of Cellular Automata in C and C++
R.I.P.
👻
Ghosted
Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
R.I.P.
👻
Ghosted
Accessible bridge between category theory and functional programming
R.I.P.
👻
Ghosted
Leroy: Library Learning for Imperative Programming Languages
R.I.P.
👻
Ghosted
Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
R.I.P.
👻
Ghosted
The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
R.I.P.
👻
Ghosted
Conditional Nested Pattern Matching in Interaction Net
R.I.P.
👻
Ghosted
An Effectively $Ω(c)$ Language and Runtime
R.I.P.
👻
Ghosted
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
R.I.P.
👻
Ghosted
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
R.I.P.
💀
404 Not Found
No Saved Kaleidosope: an 100% Jitted Neural Network Coding Language with Pythonic Syntax
R.I.P.
👻
Ghosted