TY  - RPRT
TI  - Applied Type System: An Approach to Practical Programming with Theorem-Proving
AU  - Hongwei Xi
PY  - 2017
UR  - https://arxiv.org/abs/1703.08683
ID  - 1703.08683
ER  -