🏛️ 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
CPEG: A Typed Tree Construction from Parsing Expression Grammars with Regex-Like Captures
R.I.P.
👻
Ghosted
Yaps: Python Frontend to Stan
R.I.P.
👻
Ghosted
Sequential Effect Systems with Control Operators
R.I.P.
👻
Ghosted
Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory
R.I.P.
👻
Ghosted
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)
R.I.P.
👻
Ghosted
On Reachability in Parameterized Phaser Programs
R.I.P.
👻
Ghosted
A Program Logic for First-Order Encapsulated WebAssembly
R.I.P.
👻
Ghosted
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details
R.I.P.
👻
Ghosted
Gradual Type Theory (Extended Version)
R.I.P.
👻
Ghosted
On the Maintenance of Classic Modula-2 Compilers
R.I.P.
👻
Ghosted
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
R.I.P.
👻
Ghosted
Language Interoperability in Control Network Programming
R.I.P.
👻
Ghosted
Translating Xd-C programs to MSVL programs
R.I.P.
👻
Ghosted
When You Should Use Lists in Haskell (Mostly, You Should Not)
R.I.P.
👻
Ghosted
Compiling Control as Offline Partial Deduction
R.I.P.
👻
Ghosted
Multiparty Dependent Session Types (Extended Abstract)
R.I.P.
👻
Ghosted
Computing Integer Sequences: Filtering vs Generation (Functional Pearl)
R.I.P.
👻
Ghosted
Gradual System F
R.I.P.
👻
Ghosted
Relating Idioms, Arrows and Monads from Monoidal Adjunctions
R.I.P.
👻
Ghosted
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
R.I.P.
👻
Ghosted
Verifying Programs Under Custom Application-Specific Execution Models
R.I.P.
👻
Ghosted
Shape Neutral Analysis of Graph-based Data-structures
R.I.P.
👻
Ghosted