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
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds
R.I.P.
👻
Ghosted
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata
R.I.P.
👻
Ghosted
Check Your (Students') Proofs-With Holes
R.I.P.
👻
Ghosted
The Optics of Language-Integrated Query
R.I.P.
👻
Ghosted
Employing Simulation to Facilitate the Design of Dynamic Code Generators
R.I.P.
👻
Ghosted
Effectiveness of Annotation-Based Static Type Inference
R.I.P.
👻
Ghosted
dxo: A System for Relational Algebra and Differentiation
R.I.P.
👻
Ghosted
Dataflow Analysis With Prophecy and History Variables
R.I.P.
👻
Ghosted
The Decidability of Verification under Promising 2.0
R.I.P.
👻
Ghosted
SMIE: Weakness is Power!: Auto-indentation with incomplete information
R.I.P.
👻
Ghosted
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation
R.I.P.
👻
Ghosted
The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
R.I.P.
👻
Ghosted
A Proof Assistant Based Formalisation of Core Erlang
R.I.P.
👻
Ghosted
miniKanren as a Tool for Symbolic Computation in Python
R.I.P.
👻
Ghosted
Bringing GNU Emacs to Native Code
R.I.P.
👻
Ghosted
Interpreted Programming Language Extension for 3D Render on the Web
R.I.P.
👻
Ghosted
Fluent Session Programming in C#
R.I.P.
👻
Ghosted
Mixed Sessions: the Other Side of the Tape
R.I.P.
👻
Ghosted
First-order Gradual Information Flow Types with Gradual Guarantees
🌅
🌅
Old Age
Differentiate Everything with a Reversible Embeded Domain-Specific Language
R.I.P.
👻
Ghosted
Treating for-Loops as First-Class Citizens in Proofs
R.I.P.
👻
Ghosted
Simplifying Casts and Coercions
R.I.P.
👻
Ghosted