Travelled to:
1 × USA
Collaborated with:
U.S.Reddy
Talks about:
polymorph (1) program (1) logic (1) infer (1) type (1)
Person: Changwoo Pyo
DBLP: Pyo:Changwoo
Contributed to:
Wrote 1 papers:
- NACLP-1989-PyoR #logic programming #polymorphism #source code
- Inference of Polymorphic Types for Logic Programs (CP, USR), pp. 1115–1132.