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
How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard
R.I.P.
👻
Ghosted
Transaction-based Sandboxing for JavaScript
R.I.P.
👻
Ghosted
A Theory of Available-by-Design Communicating Systems
R.I.P.
👻
Ghosted
Notes on Pure Dataflow Matrix Machines: Programming with Self-referential Matrix Transformations
R.I.P.
👻
Ghosted
Compiling Process Networks to Interaction Nets
R.I.P.
👻
Ghosted
Towards Reversible Computation in Erlang
R.I.P.
👻
Ghosted
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
R.I.P.
👻
Ghosted
Design of an intermediate representation for query languages
R.I.P.
👻
Ghosted
Domain Specific Language for Modular Knitting Pattern Definitions: Purl
R.I.P.
👻
Ghosted
Command injection attacks, continuations, and the Lambek calculus
R.I.P.
👻
Ghosted
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
R.I.P.
👻
Ghosted
Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs
R.I.P.
👻
Ghosted
Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
R.I.P.
👻
Ghosted
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
R.I.P.
👻
Ghosted
Comparing Weakest Precondition and Weakest Liberal Precondition
R.I.P.
👻
Ghosted
Implementing a Small Parsing Virtual Machine on Embedded Systems
R.I.P.
👻
Ghosted
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version --
R.I.P.
👻
Ghosted
Cold Object Identification in the Java Virtual Machine
R.I.P.
👻
Ghosted
On Systematic Testing for Execution-Time Analysis
R.I.P.
👻
Ghosted
Formal Certification of Android Bytecode
R.I.P.
👻
Ghosted
Liquid Intersection Types
R.I.P.
👻
Ghosted
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
R.I.P.
👻
Ghosted