🌅
💤
Eternal Rest
🏛️ 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
An Enumerative Embedding of the Python Type System in ACL2s
R.I.P.
👻
Ghosted
Getting Python Types Right with RightTyper
R.I.P.
👻
Ghosted
React-tRace: A Semantics for Understanding React Hooks
R.I.P.
👻
Ghosted
Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
R.I.P.
👻
Ghosted
Execution-Aware Program Reduction for WebAssembly via Record and Replay
R.I.P.
👻
Ghosted
Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
R.I.P.
👻
Ghosted
An Interactive Debugger for Rust Trait Errors
R.I.P.
👻
Ghosted
The nature of loops in programming
R.I.P.
👻
Ghosted
C*: Unifying Programming and Verification in C
R.I.P.
👻
Ghosted
An Encoding of Interaction Nets in OCaml
R.I.P.
👻
Ghosted
Towards Efficient Hash Maps in Functional Array Languages
R.I.P.
👻
Ghosted
Verified Purely Functional Catenable Real-Time Deques
R.I.P.
👻
Ghosted
Corecursive Coding of High Computational Derivatives and Power Series
R.I.P.
👻
Ghosted
Modular GPU Programming with Typed Perspectives
R.I.P.
👻
Ghosted
The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
R.I.P.
👻
Ghosted
veScale: Consistent and Efficient Tensor Programming with Eager-Mode SPMD
R.I.P.
👻
Ghosted
On the Duality of Task and Actor Programming Models
R.I.P.
👻
Ghosted
Timetide: A programming model for logically synchronous distributed systems
R.I.P.
👻
Ghosted
Stream programs are monoid homomorphisms with state
R.I.P.
👻
Ghosted
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
R.I.P.
👻
Ghosted
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
R.I.P.
👻
Ghosted
Choreographies as Macros
R.I.P.
👻
Ghosted