Type checking dependent (record) types and subtyping

@article{Betarte2000TypeCD,
  title={Type checking dependent (record) types and subtyping},
  author={Gustavo Betarte},
  journal={J. Funct. Program.},
  year={2000},
  volume={10},
  pages={137-166}
}
BETA