A simple soundness proof for dependent object types.

Marianna Rapoport Ifaz Kabir Paul He Ondrej Lhoták

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

Keyphrases

object types
metadata
object recognition
management system
database applications