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)

Detalhes bibliográficos
Autor principal: Duarte, José (author)
Outros Autores: Ravara, António (author)
Formato: article
Idioma:eng
Publicado em: 2022
Assuntos:
Behavioral types
DSL
Meta-programming
Rust
Typestate
Software
Human-Computer Interaction
Computer Networks and Communications
Texto completo:http://hdl.handle.net/10362/144754
País:Portugal
Oai:oai:run.unl.pt:10362/144754

Texto Completo

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

Registos relacionados