Up-to techniques using sized types.

Nils Anders Danielsson

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

real world
data sets
website
web services
object recognition
xml documents
multiple types