Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi 0001. Combining higher-order model checking with refinement type inference. In Manuel V. Hermenegildo, Atsushi Igarashi, editors, Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. pages 47-53, ACM, 2019. [doi]
@inproceedings{SatoI019,
title = {Combining higher-order model checking with refinement type inference},
author = {Ryosuke Sato and Naoki Iwayama and Naoki Kobayashi 0001},
year = {2019},
doi = {10.1145/3294032.3294081},
url = {https://doi.org/10.1145/3294032.3294081},
researchr = {https://researchr.org/publication/SatoI019},
cites = {0},
citedby = {0},
pages = {47-53},
booktitle = {Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019},
editor = {Manuel V. Hermenegildo and Atsushi Igarashi},
publisher = {ACM},
isbn = {978-1-4503-6226-9},
}