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
A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
R.I.P.
👻
Ghosted
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
R.I.P.
👻
Ghosted
Further Decimating the Inductive Programming Search Space with Instruction Digrams
R.I.P.
👻
Ghosted
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
R.I.P.
👻
Ghosted
Automatic Differentiation in Prolog
R.I.P.
👻
Ghosted
ComputeGPT: A computational chat model for numerical problems
R.I.P.
👻
Ghosted
ECMAScript -- The journey of a programming language from an idea to a standard
R.I.P.
👻
Ghosted
Reasoning about Choreographic Programs
R.I.P.
👻
Ghosted
Traced Types for Safe Strategic Rewriting
R.I.P.
👻
Ghosted
Transfer Learning Across Heterogeneous Features For Efficient Tensor Program Generation
R.I.P.
👻
Ghosted
Gradual Typing for Effect Handlers
R.I.P.
👻
Ghosted
$\nabla$SD: Differentiable Programming for Sparse Tensors
R.I.P.
👻
Ghosted
A Domain Specific Language for Testing Consensus Implementations
R.I.P.
👻
Ghosted
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
R.I.P.
👻
Ghosted
Certified Compilation of Choreographies with hacc
R.I.P.
👻
Ghosted
Hybrid Multiparty Session Types -- Full Version
R.I.P.
👻
Ghosted
Modal Reactors
R.I.P.
👻
Ghosted
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
R.I.P.
👻
Ghosted
Starfish: A Prototype for Universal Preprocessing and Text-Embedded Programming
R.I.P.
👻
Ghosted
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
R.I.P.
👻
Ghosted
A Term-Rewriting Semantics for Imperative Style Programming
R.I.P.
👻
Ghosted
Automatic Verification of LLVM Code
R.I.P.
👻
Ghosted