The type discipline of behavioral separation.

Luís Caires João Costa Seco

Published in: POPL (2013)

Keyphrases

neural network
information systems
decision making
computer science
software engineering
database
real world
artificial intelligence
website
search algorithm