Reasoning About Call-by-need by Means of Types.

Published in: FoSSaCS (2016)

Keyphrases

database
data sets
management system
real time
information systems
database systems
preprocessing
expert systems
artificial neural networks