Recursive subtyping revealed: functional pearl.

Vladimir Gapeyev Michael Y. Levin Benjamin C. Pierce

Published in: ICFP (2000)

Keyphrases

belief revision
belief change
real time
neural network
databases
three dimensional
multiresolution
hidden markov models
conditional independence
functional analysis