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
Law and Order for Typestate with Borrowing
R.I.P.
👻
Ghosted
LOUD: Synthesizing Strongest and Weakest Specifications
R.I.P.
👻
Ghosted
Extending the Quantitative Pattern-Matching Paradigm
R.I.P.
👻
Ghosted
Fearless Asynchronous Communications with Timed Multiparty Session Protocols
R.I.P.
👻
Ghosted
Grokking the Sequent Calculus (Functional Pearl)
R.I.P.
👻
Ghosted
Synchronous Programming with Refinement Types
R.I.P.
👻
Ghosted
Synthesizing JSON Schema Transformers
R.I.P.
👻
Ghosted
MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
R.I.P.
👻
Ghosted
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
R.I.P.
👻
Ghosted
A Natural Formalized Proof Language
R.I.P.
👻
Ghosted
Bridging Worlds: Achieving Language Interoperability between Julia and Python in Scientific Computing
R.I.P.
👻
Ghosted
AuDaLa is Turing Complete
R.I.P.
👻
Ghosted
Comparison of Three Programming Error Measures for Explaining Variability in CS1 Grades
R.I.P.
👻
Ghosted
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
R.I.P.
👻
Ghosted
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
R.I.P.
👻
Ghosted
Polymorphic Records for Dynamic Languages
R.I.P.
👻
Ghosted
Getting a Handle on Unmanaged Memory
R.I.P.
👻
Ghosted
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
R.I.P.
👻
Ghosted
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
R.I.P.
👻
Ghosted
Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
R.I.P.
👻
Ghosted
Privacy-Respecting Type Error Telemetry at Scale
R.I.P.
👻
Ghosted
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
R.I.P.
👻
Ghosted