R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
In the Age of Web: Typed Functional-First Programming Revisited
R.I.P.
👻
Ghosted
Automatic Inference of Specifications in the K Framework
R.I.P.
👻
Ghosted
From Low-Level Pointers to High-Level Containers
R.I.P.
👻
Ghosted
Languages for Mobile Agents
R.I.P.
👻
Ghosted
Inferring Program Transformations from Type Transformations for Partitioning of Ordered Sets
R.I.P.
👻
Ghosted
A Simple Parallel Implementation of Interaction Nets in Haskell
R.I.P.
👻
Ghosted
Open Transactions on Shared Memory
R.I.P.
👻
Ghosted
Lupa: A Framework for Large Scale Analysis of the Programming Language Usage
R.I.P.
👻
Ghosted
Maniposynth: Bimodal Tangible Functional Programming
R.I.P.
👻
Ghosted
GUPPY: Pythonic Quantum-Classical Programming
R.I.P.
👻
Ghosted
An Empirical Study on the Performance and Energy Usage of Compiled Python Code
R.I.P.
👻
Ghosted
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
R.I.P.
👻
Ghosted
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
R.I.P.
👻
Ghosted
Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
R.I.P.
👻
Ghosted
Schema Evolution in Interactive Programming Systems
R.I.P.
👻
Ghosted
Algebras for Deterministic Computation Are Inherently Incomplete
R.I.P.
👻
Ghosted
Generically Automating Separation Logic by Functors, Homomorphisms and Modules
R.I.P.
👻
Ghosted
HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
R.I.P.
👻
Ghosted
The ART of Sharing Points-to Analysis (Extended Abstract)
R.I.P.
👻
Ghosted
Incremental Context-free Grammar Inference in Black Box Settings
R.I.P.
👻
Ghosted
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
R.I.P.
👻
Ghosted
Portability of Fortran's `do concurrent' on GPUs
R.I.P.
👻
Ghosted