Manifest Contracts with Intersection Types.

Yuki Nishida Atsushi Igarashi

Published in: CoRR (2019)

Keyphrases

database
image processing
supply chain
real time
databases
genetic algorithm
multi agent systems
object recognition
artificial neural networks