R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3694
Total Papers
3466
No Code
21
Twilight
207
Has Code
5.6%
Survival Rate
R.I.P.
👻
Ghosted
No value restriction is needed for algebraic effects and handlers
R.I.P.
👻
Ghosted
SWISH: SWI-Prolog for Sharing
R.I.P.
👻
Ghosted
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation
R.I.P.
👻
Ghosted
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
R.I.P.
👻
Ghosted
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
R.I.P.
👻
Ghosted
Lilac: A Modal Separation Logic for Conditional Probability
R.I.P.
👻
Ghosted
HasChor: Functional Choreographic Programming for All (Functional Pearl)
R.I.P.
👻
Ghosted
Inductive Program Synthesis Over Noisy Data
R.I.P.
👻
Ghosted
Multiparty Session Programming with Global Protocol Combinators
R.I.P.
👻
Ghosted
Templates and Recurrences: Better Together
R.I.P.
👻
Ghosted
Exponential Automatic Amortized Resource Analysis
R.I.P.
👻
Ghosted
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
R.I.P.
👻
Ghosted
AnyHLS: High-Level Synthesis with Partial Evaluation
R.I.P.
👻
Ghosted
Value-centric Dynamic Partial Order Reduction
R.I.P.
👻
Ghosted
Unboxing Mutually Recursive Type Definitions in OCaml
R.I.P.
👻
Ghosted
Typed Embedding of a Relational Language in OCaml
R.I.P.
👻
Ghosted
Programmatic Control of a Compiler for Generating High-performance Spatial Hardware
R.I.P.
👻
Ghosted
A Constructor-Based Reachability Logic for Rewrite Theories
R.I.P.
👻
Ghosted
Effective Analysis of C Programs by Rewriting Variability
R.I.P.
👻
Ghosted
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
R.I.P.
👻
Ghosted
Bounded Model Checking for Probabilistic Programs
R.I.P.
👻
Ghosted
A Strong Distillery
R.I.P.
👻
Ghosted