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
Liveness-Based Garbage Collection for Lazy Languages
R.I.P.
👻
Ghosted
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
R.I.P.
👻
Ghosted
Behavioural types for non-uniform memory accesses
R.I.P.
👻
Ghosted
Dataflow Graphs as Matrices and Programming with Higher-order Matrix Elements
R.I.P.
👻
Ghosted
Almost Continuous Transformations of Software and Higher-order Dataflow Programming
R.I.P.
👻
Ghosted
Bound Your Models! How to Make OWL an ASP Modeling Language
R.I.P.
👻
Ghosted
Searching input values hitting suspicious Intervals in programs with floating-point operations
R.I.P.
👻
Ghosted
Making an Embedded DBMS JIT-friendly
R.I.P.
👻
Ghosted
Iterative compilation on mobile devices
R.I.P.
👻
Ghosted
Deriving a Simple Gradual Security Language
R.I.P.
👻
Ghosted
Type-Directed Synthesis of Products
R.I.P.
👻
Ghosted
Fast, Flexible, and Declarative Construction of Abstract Syntax Trees with PEGs
R.I.P.
👻
Ghosted
The role of concurrency in an evolutionary view of programming abstractions
R.I.P.
👻
Ghosted
Declaratively solving Google Code Jam problems with Picat
R.I.P.
👻
Ghosted
The selection monad as a CPS transformation
R.I.P.
👻
Ghosted
Amortized Analysis via Coalgebra
R.I.P.
👻
Ghosted
Linear Layouts: Robust Code Generation of Efficient Tensor Computation Using $\mathbb{F}_2$
R.I.P.
👻
Ghosted
Debugging Functional Programs by Interpretation
R.I.P.
👻
Ghosted
Visualizing the Evaluation of Functional Programs for Debugging
R.I.P.
👻
Ghosted
Abstract Operational Methods for Call-by-Push-Value
R.I.P.
👻
Ghosted
Target-Aware Implementation of Real Expressions
R.I.P.
👻
Ghosted
It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
R.I.P.
👻
Ghosted