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)
doi: 10.1145/3294032.3294081
Download from
https://dx.doi.org/10.1145/329...
Dataset . 2019
Provider: Datacite
Association for Computing Machinery (ACM)
Related research
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue