Dependently-Typed Programming in GHC.

Stephanie Weirich

Published in: FLOPS (2012)

Keyphrases

higher order
programming language
programming environment
real world
neural network
computer programming
bayesian networks
object oriented programming
lambda calculus
databases
fixed order
asynchronous communication
general purpose
decision trees
image processing
metadata
learning algorithm
machine learning