Collaborated with:
R.Sato N.K.0001
Talks about:
higher (1) combin (1) refin (1) order (1) model (1) infer (1) check (1) type (1)
Person: Naoki Iwayama
DBLP: Iwayama:Naoki
Contributed to:
Wrote 1 papers:
- PEPM-2019-SatoI0 #higher-order #model checking #refinement #type inference
- Combining higher-order model checking with refinement type inference (RS, NI, NK0), pp. 47–53.