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
Fair Termination of Asynchronous Binary Sessions
R.I.P.
👻
Ghosted
Introducing Support for Move Operations in Melda CRDT
R.I.P.
👻
Ghosted
Actor Capabilities for Message Ordering (Extended Version)
R.I.P.
👻
Ghosted
Developing a Modular Compiler for a Subset of a C-like Language
R.I.P.
👻
Ghosted
The Power of Negation in Higher-Order Datalog
R.I.P.
👻
Ghosted
Querying Graph-Relational Data
R.I.P.
👻
Ghosted
Vbox: Efficient Black-Box Serializability Verification
R.I.P.
👻
Ghosted
A Prolog Program for Bottom-up Evaluation
R.I.P.
👻
Ghosted
A Compiler for Operations on Relations with Bag Semantics
R.I.P.
👻
Ghosted
Operon: Incremental Construction of Ragged Data via Named Dimensions
R.I.P.
👻
Ghosted
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
R.I.P.
👻
Ghosted
Chorex: Restartable, Language-Integrated Choreographies
R.I.P.
👻
Ghosted
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
R.I.P.
👻
Ghosted
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
R.I.P.
👻
Ghosted
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
R.I.P.
👻
Ghosted
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
R.I.P.
👻
Ghosted
Data Layout Polymorphism for Bounding Volume Hierarchies
R.I.P.
👻
Ghosted
Compiling to recurrent neurons
R.I.P.
👻
Ghosted
Cost-Driven Synthesis of Sound Abstract Interpreters
R.I.P.
👻
Ghosted
The Search for Constrained Random Generators
R.I.P.
👻
Ghosted
Kleene Algebra
R.I.P.
👻
Ghosted
Modeling Layout Abstractions Using Integer Set Relations
R.I.P.
👻
Ghosted