R.I.P.
👻
Ghosted
Rusty Variation: Deadlock-free Sessions with Failure in Rust
September 12, 2019 · Declared Dead · 🏛 International Conference on Information and Computation Economies
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Wen Kokke
arXiv ID
1909.05970
Category
cs.PL: Programming Languages
Citations
26
Venue
International Conference on Information and Computation Economies
Last Checked
1 month ago
Abstract
Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respect a specified protocol, and are guaranteed to be free from deadlocks and races.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
📜 Similar Papers
In the same crypt — Programming Languages
R.I.P.
👻
Ghosted
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
R.I.P.
👻
Ghosted
Glow: Graph Lowering Compiler Techniques for Neural Networks
R.I.P.
👻
Ghosted
Learnable Programming: Blocks and Beyond
R.I.P.
👻
Ghosted
Scenic: A Language for Scenario Specification and Scene Generation
R.I.P.
👻
Ghosted
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Died the same way — 👻 Ghosted
R.I.P.
👻
Ghosted
Language Models are Few-Shot Learners
R.I.P.
👻
Ghosted
PyTorch: An Imperative Style, High-Performance Deep Learning Library
R.I.P.
👻
Ghosted
XGBoost: A Scalable Tree Boosting System
R.I.P.
👻
Ghosted