R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
Generalizing Hierarchical Parallelism
R.I.P.
👻
Ghosted
Amortizing Pragmatic Program Synthesis with Rankings
R.I.P.
👻
Ghosted
Tau Prolog: A Prolog interpreter for the Web
R.I.P.
👻
Ghosted
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
R.I.P.
👻
Ghosted
Types, equations, dimensions and the Pi theorem
R.I.P.
👻
Ghosted
Modular System Synthesis
R.I.P.
👻
Ghosted
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education
R.I.P.
👻
Ghosted
Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories
R.I.P.
👻
Ghosted
__host__ __device__ -- Generic programming in Cuda
R.I.P.
👻
Ghosted
Gradual Sensitivity Typing
R.I.P.
👻
Ghosted
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
R.I.P.
👻
Ghosted
Ad-hoc polymorphic delimited continuations
R.I.P.
👻
Ghosted
Context-Aware Separation Logic
R.I.P.
👻
Ghosted
Saturating automata for game semantics
R.I.P.
👻
Ghosted
Monadic Deep Learning
R.I.P.
👻
Ghosted
Symbolic Semantics for Probabilistic Programs (extended version)
R.I.P.
👻
Ghosted
Cross-thread critical sections and efficient dynamic race prediction methods
R.I.P.
👻
Ghosted
Verifying Performance Properties of Probabilistic Inference
R.I.P.
👻
Ghosted
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
R.I.P.
👻
Ghosted
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
R.I.P.
👻
Ghosted
Frex: dependently-typed algebraic simplification
R.I.P.
👻
Ghosted
Coqlex: Generating Formally Verified Lexers
R.I.P.
👻
Ghosted