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
Spencer: Interactive Heap Analysis for the Masses
R.I.P.
👻
Ghosted
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs
R.I.P.
👻
Ghosted
Intersections and Unions of Session Types
R.I.P.
👻
Ghosted
An Introduction to Liquid Haskell
R.I.P.
👻
Ghosted
Extensible Datasort Refinements
R.I.P.
👻
Ghosted
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
R.I.P.
👻
Ghosted
ModelWizard: Toward Interactive Model Construction
R.I.P.
👻
Ghosted
Mathematical Execution: A Unified Approach for Testing Numerical Code
R.I.P.
👻
Ghosted
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
R.I.P.
👻
Ghosted
Programming Patterns in Dataflow Matrix Machines and Generalized Recurrent Neural Nets
R.I.P.
👻
Ghosted
Reversible Communicating Processes
R.I.P.
👻
Ghosted
Dynamic Structural Operational Semantics
R.I.P.
👻
Ghosted
An Inductive Proof Method for Simulation-based Compiler Correctness
R.I.P.
👻
Ghosted
Well-Typed Languages are Sound
R.I.P.
👻
Ghosted
Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)
R.I.P.
👻
Ghosted
Type checking through unification
R.I.P.
👻
Ghosted
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
R.I.P.
👻
Ghosted
Probabilistic Resource Analysis by Program Transformation
R.I.P.
👻
Ghosted
Array Program Transformation with Loo.py by Example: High-Order Finite Elements
R.I.P.
👻
Ghosted
Space-Efficient Latent Contracts
R.I.P.
👻
Ghosted
The While language
R.I.P.
👻
Ghosted
A New Approach to Stateless Model Checking of LTL Properties
R.I.P.
👻
Ghosted