Gradual type-and-effect systems.

Felipe Bañados Schwerter Ronald Garcia Éric Tanter

Published in: J. Funct. Program. (2016)

Keyphrases

wireless sensor networks
management system
high level
wide range
expert systems
distributed systems
real time
neural network
machine learning
feature selection
source code
complex systems
computing systems