Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi 0001. Refinement Type Checking via Assertion Checking. JIP, 23(6):827-834, 2015. [doi]
@article{SatoA015,
title = {Refinement Type Checking via Assertion Checking},
author = {Ryosuke Sato and Kazuyuki Asada and Naoki Kobayashi 0001},
year = {2015},
url = {https://www.jstage.jst.go.jp/article/ipsjjip/23/6/23_827/_article},
researchr = {https://researchr.org/publication/SatoA015},
cites = {0},
citedby = {0},
journal = {JIP},
volume = {23},
number = {6},
pages = {827-834},
}