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
Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
R.I.P.
👻
Ghosted
Proof-Carrying Neuro-Symbolic Code
R.I.P.
👻
Ghosted
Pathological Cases for a Class of Reachability-Based Garbage Collectors
R.I.P.
👻
Ghosted
Monadic type-and-effect soundness
R.I.P.
👻
Ghosted
Graphiti: Bridging Graph and Relational Database Queries
R.I.P.
👻
Ghosted
QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
R.I.P.
👻
Ghosted
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
R.I.P.
👻
Ghosted
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
R.I.P.
👻
Ghosted
Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
R.I.P.
👻
Ghosted
Bialgebraic Reasoning on Stateful Languages
R.I.P.
👻
Ghosted
From Semantics to Syntax: A Type Theory for Comprehension Categories
R.I.P.
👻
Ghosted
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
R.I.P.
👻
Ghosted
Abstraction Functions as Types
R.I.P.
👻
Ghosted
Bounded First-Class Universe Levels in Dependent Type Theory
R.I.P.
👻
Ghosted
Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
R.I.P.
👻
Ghosted
Parsing Millions of URLs per Second
R.I.P.
👻
Ghosted
Destination-passing style programming: a Haskell implementation
R.I.P.
👻
Ghosted
Analysis of Linux-PRNG (Pseudo Random Number Generator)
R.I.P.
👻
Ghosted
Checkpoint-based rollback recovery in session programming
R.I.P.
👻
Ghosted
Leveraging Static Analysis: An IDE for RTLola
R.I.P.
👻
Ghosted
Wasm SpecTec: Engineering a Formal Language Standard
R.I.P.
👻
Ghosted
Three non-cubical applications of extension types
R.I.P.
👻
Ghosted