🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
EXPRESSing Session Types
R.I.P.
👻
Ghosted
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
R.I.P.
👻
Ghosted
Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report
R.I.P.
👻
Ghosted
Data-Driven Template-Free Invariant Generation
R.I.P.
👻
Ghosted
Probabilistic Programming with Exact Conditions
R.I.P.
👻
Ghosted
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)
R.I.P.
👻
Ghosted
LoKit (revisited): A Toolkit for Building Distributed Collaborative Applications
R.I.P.
👻
Ghosted
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
R.I.P.
👻
Ghosted
A functional scripting interface to an object oriented C++ library
R.I.P.
👻
Ghosted
ACPO: AI-Enabled Compiler Framework
R.I.P.
👻
Ghosted
Ownership Types for Verification of Programs with Pointer Arithmetic
R.I.P.
👻
Ghosted
An Irredundant Decomposition of Data Flow with Affine Dependences
R.I.P.
👻
Ghosted
Optimistic Global Function Merger
R.I.P.
👻
Ghosted
From High to Low: Simulating Nondeterminism and State with State
R.I.P.
👻
Ghosted
SimPLoID: Harnessing probabilistic logic programming for infectious disease epidemiology
R.I.P.
👻
Ghosted
Bidirectional Reactive Programming for Machine Learning
R.I.P.
👻
Ghosted
Typed compositional quantum computation with lenses
R.I.P.
👻
Ghosted
Anyone Can Code: Algorithmic Thinking
R.I.P.
👻
Ghosted
State of structural typing support in Scala 3.3.0
R.I.P.
👻
Ghosted
Contextual Refinement Types
R.I.P.
👻
Ghosted
Semi-Automation of Meta-Theoretic Proofs in Beluga
R.I.P.
👻
Ghosted
Sidekick compilation with xDSL
R.I.P.
👻
Ghosted