Stitch: the sound type-indexed type checker (functional pearl).

Richard A. Eisenberg

Published in: Haskell@ICFP (2020)

Keyphrases

data sets
database
real time
machine learning
image processing
multiscale
relational databases
artificial intelligence
similarity measure
bayesian networks
cooperative
expert systems
user interface
probabilistic model
field of view
image acquisition