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
Describe Data to get Science-Data-Ready Tooling: Awkward as a Target for Kaitai Struct YAML
R.I.P.
👻
Ghosted
Compressing Structured Tensor Algebra
R.I.P.
👻
Ghosted
Unsafe Impedance: Safe Languages and Safe by Design Software
R.I.P.
👻
Ghosted
Type-level Property Based Testing
R.I.P.
👻
Ghosted
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
R.I.P.
👻
Ghosted
Defining Name Accessibility using Scope Graphs (Extended Edition)
R.I.P.
👻
Ghosted
Programming Language Case Studies Can Be Deep
R.I.P.
👻
Ghosted
Functional Programming in Learning Electromagnetic Theory
R.I.P.
👻
Ghosted
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
R.I.P.
👻
Ghosted
Meerkat: A Distributed Reactive Programming Language with Live Updates
R.I.P.
👻
Ghosted
Towards Algebraic Subtyping for Extensible Records
R.I.P.
👻
Ghosted
Type Universes as Allocation Effects
R.I.P.
👻
Ghosted
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
R.I.P.
👻
Ghosted
Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
R.I.P.
👻
Ghosted
A Calculus for Unreachable Code
R.I.P.
👻
Ghosted
Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
R.I.P.
👻
Ghosted
Optimal matching for sharing and linearity analysis
R.I.P.
👻
Ghosted
Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
R.I.P.
👻
Ghosted
Correctness is Demanding, Performance is Frustrating
R.I.P.
👻
Ghosted
Data Petri Nets meet Probabilistic Programming (Extended version)
R.I.P.
👻
Ghosted
Going Bananas! - Unfolding Program Synthesis with Origami
R.I.P.
👻
Ghosted
Finite-Choice Logic Programming
R.I.P.
👻
Ghosted