Faking it: Simulating dependent types in Haskell.

Published in: J. Funct. Program. (2002)

Keyphrases

programming language
real time
social networks
image segmentation
data structure
general purpose
machine learning
information systems
metadata