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
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
R.I.P.
👻
Ghosted
Probabilistic Program Equivalence for NetKAT
R.I.P.
👻
Ghosted
Extending programs with debug-related features, with application to hardware development
R.I.P.
👻
Ghosted
Faithful (meta-)encodings of programmable strategies into term rewriting systems
R.I.P.
👻
Ghosted
Higher-Order Constrained Horn Clauses and Refinement Types
R.I.P.
👻
Ghosted
Completely Automated Equivalence Proofs
R.I.P.
👻
Ghosted
Smart Assessment of and Tutoring for Computational Thinking MOOC Assignments using MindReader
R.I.P.
💀
404 Not Found
Qumin, a minimalist quantum programming language
R.I.P.
👻
Ghosted
Actors without Borders: Amnesty for Imprisoned State
R.I.P.
👻
Ghosted
Transition Watchpoints: Teaching Old Debuggers New Tricks
R.I.P.
👻
Ghosted
The Formal Semantics of Rascal Light
R.I.P.
👻
Ghosted
Axioms for behavioural congruence of single-pass instruction sequences
R.I.P.
👻
Ghosted
Hybrid Information Flow Analysis for Programs with Arrays
R.I.P.
👻
Ghosted
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
R.I.P.
👻
Ghosted
Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs
R.I.P.
👻
Ghosted
Distributed Programming via Safe Closure Passing
R.I.P.
👻
Ghosted
Learn Quantum Mechanics with Haskell
R.I.P.
👻
Ghosted
Precondition Inference for Peephole Optimizations in LLVM
R.I.P.
👻
Ghosted
Gradual Typing in an Open World
R.I.P.
👻
Ghosted
Tuning Fuzzy Logic Programs with Symbolic Execution
R.I.P.
👻
Ghosted
Turchin's Relation for Call-by-Name Computations: A Formal Approach
R.I.P.
👻
Ghosted
Program Transformation to Identify List-Based Parallel Skeletons
R.I.P.
👻
Ghosted