Behavioural Types for Local-First Software.

Roland Kuhn Hernán C. Melgratti Emilio Tuosto

Published in: CoRR (2023)

Keyphrases

software development
software tools
computer vision
web services
software package
source code
operating system
software design
software architecture
software developers
software maintenance
analysis tool
agent model
embedded systems
software systems
artificial neural networks
information systems