R.I.P.
👻
Ghosted
🏛️ 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
Approximate Span Liftings
R.I.P.
👻
Ghosted
Locally Nameless Permutation Types
R.I.P.
💀
404 Not Found
E3Solver: decision tree unification by enumeration
R.I.P.
👻
Ghosted
Lattice Operations on Terms over Similar Signatures
R.I.P.
👻
Ghosted
Towards Algorithmic Typing for DOT
R.I.P.
👻
Ghosted
Scoped Extension Methods in Dynamically-Typed Languages
R.I.P.
👻
Ghosted
A Coq-based synthesis of Scala programs which are correct-by-construction
R.I.P.
👻
Ghosted
Counterexample-Guided k-Induction Verification for Fast Bug Detection
R.I.P.
👻
Ghosted
Capri: A Control System for Approximate Programs
R.I.P.
👻
Ghosted
On the computational complexity of dynamic slicing problems for program schemas
R.I.P.
👻
Ghosted
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
R.I.P.
👻
Ghosted
Graph-Based Shape Analysis Beyond Context-Freeness
R.I.P.
👻
Ghosted
Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
R.I.P.
👻
Ghosted
Automated Synthesis of Divide and Conquer Parallelism
R.I.P.
👻
Ghosted
Application Embedding: A Language Approach to Declarative Web Programming
R.I.P.
👻
Ghosted
A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley
R.I.P.
👻
Ghosted
Binomial Checkpointing for Arbitrary Programs with No User Annotation
R.I.P.
👻
Ghosted
Revisiting the Futamura Projections: A Diagrammatic Approach
R.I.P.
👻
Ghosted
A Practical Approach to Interval Refinement for math.h/cmath Functions
R.I.P.
👻
Ghosted
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
R.I.P.
👻
Ghosted
Type oriented parallel programming for Exascale
R.I.P.
👻
Ghosted
A Generic Logic for Proving Linearizability (Extended Version)
R.I.P.
👻
Ghosted