A type and effect system for uniqueness and immutability.

Paola Giannini Marco Servetto Elena Zucca

Published in: SAC (2018)

Keyphrases

information systems
search algorithm
machine learning
artificial intelligence
knowledge base
objective function
cooperative
information technology
mobile robot
management system
co occurrence
sufficient conditions
negative impact