Well-founded recursion with copatterns and sized types.

Andreas Abel Brigitte Pientka

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

Keyphrases

data mining
complex objects
social networks
web pages
training data
learning environment
xml documents