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
Scheme Pearl: Quantum Continuations
R.I.P.
👻
Ghosted
Repr Types: One Abstraction to Rule Them All
R.I.P.
👻
Ghosted
$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
R.I.P.
👻
Ghosted
Conversational Concurrency
R.I.P.
👻
Ghosted
Dynamic String Generation and C++-style Output in Fortran
📚
📚
The Cartographer
A Brief Overview of the Pawns Programming Language
R.I.P.
👻
Ghosted
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
R.I.P.
👻
Ghosted
Proceedings of the 2024 miniKanren and Relational Programming Workshop
R.I.P.
👻
Ghosted
Extending the C/C++ Memory Model with Inline Assembly
R.I.P.
👻
Ghosted
Relational Reactive Programming: miniKanren for the Web
R.I.P.
👻
Ghosted
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
R.I.P.
👻
Ghosted
Six Ways to Implement Divisibility by Three in miniKanren
R.I.P.
👻
Ghosted
Improving stableKanren's Backward Compatibility
R.I.P.
👻
Ghosted
Omega: The Power of Visual Simplicity
R.I.P.
👻
Ghosted
Generation of Compiler Backends from Formal Models of Hardware
R.I.P.
👻
Ghosted
Mica: Automated Differential Testing for OCaml Modules
R.I.P.
👻
Ghosted
Which Part of the Heap is Useful? Improving Heap Liveness Analysis
R.I.P.
👻
Ghosted
A type system for data flow and alias analysis in ReScript
R.I.P.
👻
Ghosted
Inference Plans for Hybrid Particle Filtering
R.I.P.
👻
Ghosted
Kotlin's Type System is (Also) Unsound
R.I.P.
👻
Ghosted
Abstract Environment Trimming
R.I.P.
👻
Ghosted
Arithmetizing Shape Analysis
R.I.P.
👻
Ghosted