Dependent Types and Fibred Computational Effects.

Danel Ahman Neil Ghani Gordon D. Plotkin

Published in: FoSSaCS (2016)

Keyphrases

negative effects
three dimensional
hidden markov models
real time
real world
artificial intelligence
decision trees
multi agent
expert systems
artificial neural networks