🏛️ 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
A web-based IDE for IDP
R.I.P.
👻
Ghosted
Relating BIP and Reo
R.I.P.
👻
Ghosted
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
R.I.P.
👻
Ghosted
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
R.I.P.
👻
Ghosted
Probabilistic Programming with Programmable Variational Inference
R.I.P.
👻
Ghosted
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
R.I.P.
👻
Ghosted
Compositional imprecise probability
R.I.P.
👻
Ghosted
Bridging Control-Centric and Data-Centric Optimization
R.I.P.
👻
Ghosted
Polymorphic Type Inference for Dynamic Languages
R.I.P.
👻
Ghosted
Sound Gradual Verification with Symbolic Execution
R.I.P.
👻
Ghosted
Reference Capabilities for Flexible Memory Management: Extended Version
R.I.P.
👻
Ghosted
Alice or Bob?: Process Polymorphism in Choreographies
R.I.P.
👻
Ghosted
The Reads-From Equivalence for the TSO and PSO Memory Models
R.I.P.
👻
Ghosted
Probabilistic Resource-Aware Session Types
R.I.P.
👻
Ghosted
The Improved GP 2 Compiler
R.I.P.
👻
Ghosted
Probabilistic Programming Semantics for Name Generation
R.I.P.
👻
Ghosted
Liquid Resource Types
R.I.P.
👻
Ghosted
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
R.I.P.
👻
Ghosted
Symbolic Reasoning about Quantum Circuits in Coq
R.I.P.
👻
Ghosted
A Linear Algebra Approach to Linear Metatheory
R.I.P.
👻
Ghosted
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
🌅
🌅
Old Age
On the Principles of Differentiable Quantum Programming Languages
R.I.P.
👻
Ghosted