🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3729
Total Papers
3466
No Code
21
Twilight
242
Has Code
6.5%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Petr4: Formal Foundations for P4 Data Planes
R.I.P.
👻
Ghosted
Nested Session Types
R.I.P.
👻
Ghosted
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
R.I.P.
👻
Ghosted
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
R.I.P.
👻
Ghosted
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)
R.I.P.
👻
Ghosted
Unifying graded and parameterised monads
R.I.P.
👻
Ghosted
TrABin: Trustworthy Analyses of Binaries
R.I.P.
👻
Ghosted
Runners in action
R.I.P.
👻
Ghosted
Undecidability of $D_{<:}$ and Its Decidable Fragments
R.I.P.
👻
Ghosted
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
R.I.P.
👻
Ghosted
Replication-Aware Linearizability
R.I.P.
👻
Ghosted
Distributed Reactive Programming for Reactive Distributed Systems
R.I.P.
👻
Ghosted
Syntax Error Recovery in Parsing Expression Grammars
R.I.P.
👻
Ghosted
Formal Process Virtual Machine for Smart Contracts Verification
R.I.P.
👻
Ghosted
FabULous Interoperability for ML and a Linear Language
R.I.P.
👻
Ghosted
$α$Check: A mechanized metatheory model-checker
R.I.P.
👻
Ghosted
Proving uniformity and independence by self-composition and coupling
R.I.P.
👻
Ghosted
Deciding equivalence with sums and the empty type
R.I.P.
👻
Ghosted
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
R.I.P.
👻
Ghosted
Demand-Driven Incremental Object Queries
R.I.P.
👻
Ghosted
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
R.I.P.
👻
Ghosted
Applied Choreographies
R.I.P.
👻
Ghosted