🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3738
Total Papers
3466
No Code
21
Twilight
251
Has Code
6.7%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
On ML-Based Program Translation: Perils and Promises
R.I.P.
👻
Ghosted
Bitcoin covenants unchained
R.I.P.
👻
Ghosted
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
R.I.P.
👻
Ghosted
Superoptimization of WebAssembly Bytecode
R.I.P.
👻
Ghosted
Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
R.I.P.
👻
Ghosted
Validating Mathematical Structures
R.I.P.
👻
Ghosted
SymPas: Symbolic Program Slicing
R.I.P.
👻
Ghosted
Reconciling Event Structures with Modern Multiprocessors
R.I.P.
👻
Ghosted
Model-View-Update-Communicate: Session Types meet the Elm Architecture
R.I.P.
👻
Ghosted
What's Decidable About Program Verification Modulo Axioms?
R.I.P.
👻
Ghosted
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
R.I.P.
👻
Ghosted
Resource Analysis driven by (Conditional) Termination Proofs
R.I.P.
👻
Ghosted
Coherence of Type Class Resolution
R.I.P.
👻
Ghosted
Relational Cost Analysis for Functional-Imperative Programs
R.I.P.
👻
Ghosted
Static Program Analysis for String Manipulation Languages
R.I.P.
👻
Ghosted
Syntax and Semantics of Cedille
R.I.P.
👻
Ghosted
From high-level inference algorithms to efficient code
R.I.P.
👻
Ghosted
Executable Operational Semantics of Solidity
R.I.P.
👻
Ghosted
Efficient Gradual Typing
R.I.P.
👻
Ghosted
Quantifying Program Bias
R.I.P.
👻
Ghosted
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
R.I.P.
👻
Ghosted
Typesafe Abstractions for Tensor Operations
R.I.P.
👻
Ghosted