Manifest Contracts with Intersection Types.

Yuki Nishida Atsushi Igarashi

Published in: APLAS (2019)

Keyphrases

real time
supply chain
data mining
artificial intelligence
image processing
three dimensional
reinforcement learning
expert systems
artificial neural networks
management system