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
Liveness for Verification
R.I.P.
👻
Ghosted
A Simple Guide to S3 Methods
R.I.P.
👻
Ghosted
A Vision for Online Verification-Validation
R.I.P.
👻
Ghosted
Data optimizations for constraint automata
R.I.P.
👻
Ghosted
Lowering IrGL to CUDA
R.I.P.
👻
Ghosted
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
R.I.P.
👻
Ghosted
Indexing dif/2
R.I.P.
👻
Ghosted
From Push/Enter to Eval/Apply by Program Transformation
R.I.P.
👻
Ghosted
A Revision of the Mool Language
R.I.P.
👻
Ghosted
On Modular and Fully-Abstract Compilation -- Technical Appendix
R.I.P.
👻
Ghosted
SIMPL: A DSL for Automatic Specialization of Inference Algorithms
R.I.P.
👻
Ghosted
Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance
R.I.P.
👻
Ghosted
CVC Verilog Compiler -- Fast Complex Language Compilers Can be Simple
R.I.P.
👻
Ghosted
Embedding by Normalisation
R.I.P.
👻
Ghosted
An Effectful Treatment of Dependent Types
R.I.P.
👻
Ghosted
DSCMC: Distributed Stateless Code Model Checker
R.I.P.
👻
Ghosted
Stateless Code Model Checking of Information Flow Security
R.I.P.
👻
Ghosted
Reasoning in complex environments with the SelectScript declarative language
R.I.P.
👻
Ghosted
From Traces To Proofs: Proving Concurrent Program Safe
R.I.P.
👻
Ghosted
Path-Based Program Repair
R.I.P.
👻
Ghosted
Transforming Javascript Event-Loop Into a Pipeline
R.I.P.
👻
Ghosted
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
R.I.P.
👻
Ghosted