IDRIS ---: systems programming meets full dependent types.

Published in: PLPV (2011)

Keyphrases

learning systems
intelligent systems
data sets
computing systems
computer vision
complex systems
distributed systems
open source
programming environments
embedded systems
operating system
management system
case study
multimedia
decision making
information systems
artificial intelligence
machine learning