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
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
R.I.P.
👻
Ghosted
Session Types with Arithmetic Refinements and Their Application to Work Analysis
R.I.P.
👻
Ghosted
Process Query Language: Design, Implementation, and Evaluation
🌅
🌅
Old Age
Understanding GCC Builtins to Develop Better Tools
R.I.P.
👻
Ghosted
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
R.I.P.
👻
Ghosted
Synthesis of coordination programs from linear temporal logic
R.I.P.
👻
Ghosted
Value-Dependent Session Design in a Dependently Typed Language
R.I.P.
👻
Ghosted
Concrete Syntax with Black Box Parsers
R.I.P.
👻
Ghosted
Cocon: Computation in Contextual Type Theory
R.I.P.
👻
Ghosted
Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
R.I.P.
👻
Ghosted
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
R.I.P.
👻
Ghosted
Newton: A Language for Describing Physics
R.I.P.
👻
Ghosted
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
R.I.P.
👻
Ghosted
Rock bottom, the world, the sky: Catrobat, an extremely large-scale and long-term visual coding project relying purely on smartphones
R.I.P.
👻
Ghosted
Doubly F-Bounded Generics
R.I.P.
👻
Ghosted
Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof
R.I.P.
👻
Ghosted
Verifying Handcoded Probabilistic Inference Procedures
R.I.P.
👻
Ghosted
Modeling of languages for tensor manipulation
R.I.P.
👻
Ghosted
Miscomputation in software: Learning to live with errors
R.I.P.
👻
Ghosted
Dependent Session Types
R.I.P.
👻
Ghosted
Experimental Biological Protocols with Formal Semantics
R.I.P.
👻
Ghosted
Confluence and Convergence in Probabilistically Terminating Reduction Systems
R.I.P.
👻
Ghosted