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
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
R.I.P.
👻
Ghosted
Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
R.I.P.
👻
Ghosted
Pattern Matching in AI Compilers and its Formalization (Extended Version)
R.I.P.
👻
Ghosted
Information Aware Type Systems and Telescopic Constraint Trees
R.I.P.
👻
Ghosted
Scaling Inter-procedural Dataflow Analysis on the Cloud
R.I.P.
👻
Ghosted
Probabilistic Guarantees for Practical LIA Loop Invariant Automation
R.I.P.
👻
Ghosted
Computing $\sqrt{2}$ with FRACTRAN
📚
📚
The Cartographer
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
📚
📚
The Cartographer
A Brief Survey of Formal Models of Concurrency
R.I.P.
👻
Ghosted
A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
R.I.P.
👻
Ghosted
Completing the Functional Approach in Object-Oriented Languages
R.I.P.
👻
Ghosted
Gradual Guarantee via Step-Indexed Logical Relations in Agda
R.I.P.
👻
Ghosted
Inversion by Partial Evaluation: A Reversible Interpreter Experiment
R.I.P.
👻
Ghosted
A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
R.I.P.
👻
Ghosted
Pourquoi existe-t-il de nombreux paradigmes de programmation ?
R.I.P.
👻
Ghosted
Simplification of Polyhedral Reductions in Practice
R.I.P.
👻
Ghosted
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
R.I.P.
👻
Ghosted
Float Self-Tagging
R.I.P.
👻
Ghosted
Functional Array Programming in an Extended Pi-Calculus
R.I.P.
👻
Ghosted
Typing Composite Subjects
R.I.P.
👻
Ghosted
An Abstract Domain for Heap Commutativity (Extended Version)
R.I.P.
👻
Ghosted
Partial Evaluation, Whole-Program Compilation
R.I.P.
👻
Ghosted