The Key monad: type-safe unconstrained dynamic typing.

Atze van der Ploeg Koen Claessen Pablo Buiras

Published in: Haskell (2016)

Keyphrases

dynamic environments
neural network
image processing
wide range
real time
data mining
information retrieval
computer vision
multi agent
dynamically changing
type checking
dynamically updated