R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3767
Total Papers
3450
No Code
30
Twilight
287
Has Code
7.6%
Survival Rate
R.I.P.
👻
Ghosted
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
R.I.P.
👻
Ghosted
Repairing and Mechanising the JavaScript Relaxed Memory Model
R.I.P.
👻
Ghosted
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
R.I.P.
👻
Ghosted
Cache Persistence Analysis: Finally Exact
R.I.P.
👻
Ghosted
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
R.I.P.
👻
Ghosted
Asynchronous Execution of Python Code on Task Based Runtime Systems
R.I.P.
👻
Ghosted
Learning Abstractions for Program Synthesis
R.I.P.
👻
Ghosted
Performing Fully Parallel Constraint Logic Programming on a Quantum Annealer
R.I.P.
👻
Ghosted
Harmonizing Signals and Events with a Lightweight Extension to Java
R.I.P.
👻
Ghosted
Thread-Modular Static Analysis for Relaxed Memory Models
R.I.P.
👻
Ghosted
Nominal C-Unification
R.I.P.
👻
Ghosted
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)
R.I.P.
👻
Ghosted
Language-integrated provenance
R.I.P.
👻
Ghosted
Mixing Metaphors: Actors as Channels and Channels as Actors (Extended Version)
R.I.P.
👻
Ghosted
The Complexity of Interaction (Long Version)
R.I.P.
👻
Ghosted
From F to DOT: Type Soundness Proofs with Definitional Interpreters
R.I.P.
👻
Ghosted
Paradigm-Based Automatic HDL Code Generation Using LLMs
R.I.P.
👻
Ghosted
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
R.I.P.
👻
Ghosted
An abstract semantics of speculative execution for reasoning about security vulnerabilities
R.I.P.
👻
Ghosted
Code Building Genetic Programming
R.I.P.
👻
Ghosted
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
R.I.P.
👻
Ghosted
Ferrite: A Judgmental Embedding of Session Types in Rust
R.I.P.
👻
Ghosted