Behavioural Types for Local-First Software.

Roland Kuhn Hernán C. Melgratti Emilio Tuosto

Published in: ECOOP (2023)

Keyphrases

software development
computer systems
software systems
database
software tools
software design
hardware design
machine learning
learning algorithm
decision making
case study
data structure
software testing
commercial software