research data . Dataset . 2019

Combining higher-order model checking with refinement type inference

Sato, Ryosuke; Iwayama, Naoki; Kobayashi, Naoki;
  • Published: 01 Jan 1970
  • Publisher: Association for Computing Machinery (ACM)