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
A Formal Model for Secure Multiparty Computation
R.I.P.
👻
Ghosted
Unified Fairness for Weak Memory Verification
R.I.P.
👻
Ghosted
Implementing backjumping by means of exception handling
R.I.P.
👻
Ghosted
Automated Sensitivity Analysis for Probabilistic Loops
R.I.P.
👻
Ghosted
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
R.I.P.
👻
Ghosted
Proving Logical Atomicity using Lock Invariants
R.I.P.
👻
Ghosted
Viewing Allocators as Bin Packing Solvers Demystifies Fragmentation
R.I.P.
👻
Ghosted
Structural Subtyping as Parametric Polymorphism
R.I.P.
👻
Ghosted
Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter
R.I.P.
👻
Ghosted
Choreographic Programming of Isolated Transactions
R.I.P.
👻
Ghosted
Dependently Typing R Vectors, Arrays, and Matrices
R.I.P.
👻
Ghosted
Efficient and Accurate Automatic Python Bindings with cppyy & Cling
R.I.P.
👻
Ghosted
Ideograph: A Language for Expressing and Manipulating Structured Data
R.I.P.
👻
Ghosted
The WhyRel Prototype for Relational Verification
R.I.P.
👻
Ghosted
NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning
R.I.P.
👻
Ghosted
Reimplementing Mizar in Rust
R.I.P.
👻
Ghosted
Functional Programming and Streams
R.I.P.
👻
Ghosted
An Evaluation Algorithm for Datalog with Equality
R.I.P.
👻
Ghosted
C-rusted: The Advantages of Rust, in C, without the Disadvantages
R.I.P.
👻
Ghosted
Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials
R.I.P.
👻
Ghosted
Ideas for the future of Prolog inspired by Oz
R.I.P.
👻
Ghosted
Designing text representations for existing data using the TextFormats Specification Language
R.I.P.
👻
Ghosted