Hindley-milner elaboration in applicative style: functional pearl.

François Pottier

Published in: ICFP (2014)

Keyphrases

wide range
neural network
artificial intelligence
image processing
multimedia
image segmentation
special case
functional properties