🏛️ 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
Exceptionally Monadic Error Handling
R.I.P.
👻
Ghosted
Erlang Code Evolution Control (Use Cases)
R.I.P.
👻
Ghosted
Enforcing Programming Guidelines with Region Types and Effects
R.I.P.
👻
Ghosted
Correct by construction
R.I.P.
👻
Ghosted
Coroutines with Higher Order Functions
R.I.P.
👻
Ghosted
A Practical Mode System for Recursive Definitions
R.I.P.
👻
Ghosted
Some Challenges of Specifying Concurrent Program Components
R.I.P.
👻
Ghosted
A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java
R.I.P.
👻
Ghosted
Defunctionalization of Higher-Order Constrained Horn Clauses
R.I.P.
👻
Ghosted
Verification of High-Level Transformations with Inductive Refinement Types
R.I.P.
👻
Ghosted
Gradual Session Types
R.I.P.
👻
Ghosted
Reference Type Logic Variables in Constraint-logic Object-oriented Programming
R.I.P.
👻
Ghosted
Using SWISH to realise interactive web based tutorials for logic based languages
R.I.P.
👻
Ghosted
Guided Unfoldings for Finding Loops in Standard Term Rewriting
R.I.P.
👻
Ghosted
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
R.I.P.
👻
Ghosted
Compiling with Continuations and LLVM
R.I.P.
👻
Ghosted
Vector Programming Using Structural Recursion
R.I.P.
👻
Ghosted
Language-integrated provenance in Haskell
R.I.P.
👻
Ghosted
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers
R.I.P.
👻
Ghosted
Erlang Code Evolution Control
R.I.P.
👻
Ghosted
Verification of Programs via Intermediate Interpretation
R.I.P.
👻
Ghosted
A Simulation Tool for tccp Programs
R.I.P.
👻
Ghosted