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
🌅
🌅
Old Age
Intensional Datatype Refinement
R.I.P.
👻
Ghosted
Simplifying Dependent Reductions in the Polyhedral Model
R.I.P.
👻
Ghosted
What Programs Want: Automatic Inference of Input Data Specifications
R.I.P.
👻
Ghosted
Synthesis in Uclid5
R.I.P.
👻
Ghosted
Conditional Lower Bound for Inclusion-Based Points-to Analysis
R.I.P.
👻
Ghosted
Uninitialized Capabilities
R.I.P.
👻
Ghosted
Weakest Preexpectation Semantics for Bayesian Inference
R.I.P.
👻
Ghosted
FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data
R.I.P.
👻
Ghosted
Signature Restriction for Polymorphic Algebraic Effects
R.I.P.
👻
Ghosted
Sealing Pointer-Based Optimizations Behind Pure Functions
R.I.P.
👻
Ghosted
Declarative Programming with Intensional Sets in Java Using JSetL
R.I.P.
👻
Ghosted
Modeling the Invariance of Virtual Pointers in LLVM
R.I.P.
👻
Ghosted
Denotational semantics as a foundation for cost recurrence extraction for functional languages
R.I.P.
🦴
Skeleton Repo
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
R.I.P.
👻
Ghosted
Sthread: In-Vivo Model Checking of Multithreaded Programs
R.I.P.
👻
Ghosted
Programming Paradigms, Turing Completeness and Computational Thinking
R.I.P.
👻
Ghosted
Functional Programming in Pattern-Match-Oriented Programming Style
R.I.P.
👻
Ghosted
Building Reliable Cloud Services Using P# (Experience Report)
R.I.P.
👻
Ghosted
Hypothetical answers to continuous queries over data streams
R.I.P.
👻
Ghosted
Universal Composability is Robust Compilation
R.I.P.
👻
Ghosted
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
R.I.P.
👻
Ghosted
Translation Validation for Security Properties
R.I.P.
👻
Ghosted