Login / Signup
A Framework for Dependent Types and Effects.
Matthijs Vákár
Published in:
CoRR (2015)
Keyphrases
</>
high level
image registration
lightweight
data sets
decision making
framework enables
cooperative
hidden markov models
theoretical framework