1 citations · 1 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Ferrite: A Judgmental Embedding of Session Types in Rust
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
This paper introduces Ferrite, a shallow embedding of session types in Rust. In contrast to existing session type libraries and embeddings for mainstream languages, Ferrite not onl…
cs.PL2020★ 1 cited
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Stephanie Balzer, Luca Padovani
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many a…