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
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
R.I.P.
👻
Ghosted
A Sound Type System for Secure Currency Flow
R.I.P.
👻
Ghosted
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
R.I.P.
👻
Ghosted
Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
R.I.P.
👻
Ghosted
Compactness via Pattern Stepping Bisimulation
R.I.P.
👻
Ghosted
Transform Dialect Tutorial
R.I.P.
👻
Ghosted
Domain Reasoning in TopKAT
R.I.P.
👻
Ghosted
Denotation-based Compositional Compiler Verification
R.I.P.
👻
Ghosted
Probabilistic Interval Analysis of Unreliable Programs
R.I.P.
👻
Ghosted
Encoding Petri Nets into CCS (Technical Report)
R.I.P.
👻
Ghosted
Customizing Static Analysis using Codesearch
R.I.P.
👻
Ghosted
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
R.I.P.
👻
Ghosted
Performant Dynamically Typed E-Graphs in Pure Julia
R.I.P.
👻
Ghosted
Game Semantics for Higher-Order Unitary Quantum Computation
R.I.P.
👻
Ghosted
Behavioural Types for Heterogeneous Systems (Position Paper)
R.I.P.
👻
Ghosted
WebPie: A Tiny Slice of Dependent Typing
R.I.P.
👻
Ghosted
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
R.I.P.
👻
Ghosted
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
R.I.P.
👻
Ghosted
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
R.I.P.
👻
Ghosted
Piecewise Analysis of Probabilistic Programs via $k$-Induction
R.I.P.
👻
Ghosted
Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
R.I.P.
👻
Ghosted
Fat API bindings of C++ objects into scripting languages
R.I.P.
👻
Ghosted