Login / Signup
A Simple Soundness Proof for Dependent Object Types.
Marianna Rapoport
Ifaz Kabir
Paul He
Ondrej Lhoták
Published in:
CoRR (2017)
Keyphrases
</>
website
object types
database
databases
similarity measure
data points