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
Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
R.I.P.
👻
Ghosted
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
R.I.P.
👻
Ghosted
Categorical Semantics of Higher-Order Message Passing
R.I.P.
👻
Ghosted
Nofl: A Precise Immix
R.I.P.
👻
Ghosted
CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
R.I.P.
👻
Ghosted
2-Functoriality of Initial Semantics, and Applications
R.I.P.
👻
Ghosted
Functional Reactive Programming with Effects, A More Permissive Approach
R.I.P.
👻
Ghosted
Binomial Tabulation: A Short Story
R.I.P.
👻
Ghosted
Denotational Semantics for Probabilistic and Concurrent Programs
R.I.P.
👻
Ghosted
An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
R.I.P.
👻
Ghosted
Study of the Use of Property Probes in an Educational Setting
R.I.P.
👻
Ghosted
Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
R.I.P.
👻
Ghosted
Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
R.I.P.
👻
Ghosted
Consistent Distributed Reactive Programming with Retroactive Computation
R.I.P.
👻
Ghosted
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
R.I.P.
👻
Ghosted
The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
R.I.P.
👻
Ghosted
Monk: Opportunistic Scheduling to Delay Horizontal Scaling
R.I.P.
👻
Ghosted
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
R.I.P.
👻
Ghosted
Automatically Verifying Replication-aware Linearizability
R.I.P.
👻
Ghosted
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
R.I.P.
👻
Ghosted
Language-Parametric Reference Synthesis (Extended)
R.I.P.
👻
Ghosted
Scaling Optimization Over Uncertainty via Compilation
R.I.P.
👻
Ghosted