🏛️ 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
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
Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
R.I.P.
👻
Ghosted
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility
R.I.P.
👻
Ghosted
Using Cognitive Computing for Learning Parallel Programming: An IBM Watson Solution
R.I.P.
👻
Ghosted
A Framework for Extending microKanren with Constraints
R.I.P.
👻
Ghosted
Causally consistent dynamic slicing
R.I.P.
👻
Ghosted