Combining higher-order model checking with refinement type inference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ryosuke Sato' in GoogleThis author has not been identified. Look up 'Naoki Iwayama' in GoogleThis author has not been identified. Look up 'Naoki Kobayashi 0001' in Google

runs on WebDSL