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
Got: Git, but for Objects
R.I.P.
👻
Ghosted
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
R.I.P.
👻
Ghosted
User Experience with Language-Independent Formal Verification
R.I.P.
👻
Ghosted
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
R.I.P.
👻
Ghosted
Gradual Typing for Extensibility by Rows
R.I.P.
👻
Ghosted
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
R.I.P.
👻
Ghosted
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
R.I.P.
👻
Ghosted
Dependent Pearl: Normalization by realizability
R.I.P.
👻
Ghosted
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
R.I.P.
👻
Ghosted
Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
R.I.P.
👻
Ghosted
Provenance for Large-scale Datalog
R.I.P.
👻
Ghosted
CHOP: Bypassing Runtime Bounds Checking Through Convex Hull OPtimization
R.I.P.
👻
Ghosted
Solidity 0.5: when typed does not mean type safe
R.I.P.
👻
Ghosted
A Neural-based Program Decompiler
R.I.P.
👻
Ghosted
Transitivity of Subtyping for Intersection Types
R.I.P.
👻
Ghosted
Java Generics: An Order-Theoretic Approach (Detailed Outline)
R.I.P.
👻
Ghosted
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
R.I.P.
👻
Ghosted
Research Note: An Open Source Bluespec Compiler
R.I.P.
👻
Ghosted
A Denotational Engineering of Programming Languages
R.I.P.
👻
Ghosted
A Syntactic Model of Mutation and Aliasing
R.I.P.
👻
Ghosted
A benchmark for C program verification
R.I.P.
👻
Ghosted
Specification and Inference of Trace Refinement Relations
R.I.P.
👻
Ghosted