➡️ Linear Logic - beachlorn · Scour

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications ⚡Concurrency

arxiv.org·1d

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink ✓Formal Verification

arxiv.org·3d

Pruning Extensions and Efficiency Trade-Offs for Sustainable Time Series Classification 🔍Type Inference

arxiv.org·17h

Modelling Distributed Applications with Mixed-Choice Stateful Typestates ⚡Concurrency

arxiv.org·1d

Loading more...