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
MetaFFI -- Multilingual Indirect Interoperability System
R.I.P.
👻
Ghosted
The Semantics of Metapropramming in Prolog
R.I.P.
👻
Ghosted
Ownership in low-level intermediate representation
R.I.P.
👻
Ghosted
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
R.I.P.
👻
Ghosted
Preventing Out-of-Gas Exceptions by Typing
R.I.P.
👻
Ghosted
Fusing Gathers with Integer Linear Programming
R.I.P.
👻
Ghosted
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
R.I.P.
👻
Ghosted
Challenges of Multilingual Program Specification and Analysis
R.I.P.
👻
Ghosted
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
R.I.P.
👻
Ghosted
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
R.I.P.
👻
Ghosted
A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
R.I.P.
👻
Ghosted
The Continuous Tensor Abstraction: Where Indices are Real
R.I.P.
👻
Ghosted
An Operational Semantics for Yul
R.I.P.
👻
Ghosted
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
R.I.P.
👻
Ghosted
Dataflow-Based Optimization for Quantum Intermediate Representation Programs
R.I.P.
👻
Ghosted
Example-Based Reasoning about the Realizability of Polymorphic Programs
R.I.P.
👻
Ghosted
Optimization of Armv9 architecture general large language model inference performance based on Llama.cpp
R.I.P.
👻
Ghosted
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
R.I.P.
👻
Ghosted
Incremental units-of-measure verification
R.I.P.
👻
Ghosted
The SemGuS Toolkit
R.I.P.
👻
Ghosted
Corps: A Core Calculus of Hierarchical Choreographic Programming
R.I.P.
👻
Ghosted
Optimizing Layout of Recursive Datatypes with Marmoset
R.I.P.
👻
Ghosted