Combining higher-order model checking with refinement type inference

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]

Abstract

Abstract is missing.