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
Handling polymorphic algebraic effects
R.I.P.
👻
Ghosted
Measuring Coverage of Prolog Programs Using Mutation Testing
R.I.P.
👻
Ghosted
Using Standard Typing Algorithms Incrementally
R.I.P.
👻
Ghosted
A Semantics for Hybrid Iteration
R.I.P.
👻
Ghosted
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
R.I.P.
👻
Ghosted
Type variables in patterns
R.I.P.
👻
Ghosted
One Monad to Prove Them All
R.I.P.
👻
Ghosted
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
R.I.P.
👻
Ghosted
What we talk about when we talk about monads
R.I.P.
👻
Ghosted
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars
R.I.P.
👻
Ghosted
A Versatile, Sound Tool for Simplifying Definitions
R.I.P.
👻
Ghosted
A certified reference validation mechanism for the permission model of Android
R.I.P.
👻
Ghosted
Interconnected Linguistic Architecture
R.I.P.
👻
Ghosted
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
R.I.P.
👻
Ghosted
Kayak: Safe Semantic Refactoring to Java Streams
R.I.P.
👻
Ghosted
Efficient Pattern Matching in Python
R.I.P.
👻
Ghosted
Active Learning of Input Grammars
R.I.P.
👻
Ghosted
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models
R.I.P.
👻
Ghosted
Precise Null Pointer Analysis Through Global Value Numbering
R.I.P.
👻
Ghosted
The Bricklayer Ecosystem - Art, Math, and Code
R.I.P.
👻
Ghosted
Adaptive Just-in-time Value Class Optimization for Lowering Memory Consumption and Improving Execution Time Performance
R.I.P.
👻
Ghosted
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)
R.I.P.
👻
Ghosted