Travelled to:
1 × USA
Collaborated with:
D.Shin H.Yoon
Talks about:
program (1) prolog (1) infer (1) type (1) mode (1) base (1)
Person: Youngmin Chung
DBLP: Chung:Youngmin
Contributed to:
Wrote 1 papers:
- SEKE-1993-ShinCY #prolog #source code #type inference
- Mode Based Type Inference for Prolog Programs (DS, YC, HY), pp. 239–243.