Pure Subtype Systems Are Type-Safe.

Valentin Pasquale Álvaro García-Pérez

Published in: CoRR (2024)

Keyphrases

systems require
computing systems
management system
complex systems
multiscale
computer systems
neural network
distributed systems
user interface
building blocks
intelligent systems
artificial neural networks
expert systems
wide range
image segmentation
decision making
genetic algorithm