Taming stateful computations in Rust with typestates

and by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No 778233 . Publisher Copyright: © 2022 The Author(s)

Bibliographic Details
Main Author: Duarte, José (author)
Other Authors: Ravara, António (author)
Format: article
Language:eng
Published: 2022
Subjects:
Behavioral types
DSL
Meta-programming
Rust
Typestate
Software
Human-Computer Interaction
Computer Networks and Communications
Online Access:http://hdl.handle.net/10362/144754
Country:Portugal
Oai:oai:run.unl.pt:10362/144754

Internet

http://hdl.handle.net/10362/144754

Similar Items