@misc{indiciae9302ddd945dc,
  title = {Applied Type System: An Approach to Practical Programming with Theorem-Proving},
  author = {Hongwei Xi},
  year = {2017},
  url = {https://arxiv.org/abs/1703.08683},
  note = {Source identifier: 1703.08683}
}