Travelled to:1 × USA
Collaborated with:J.H.Nang S.Han S.Maeng
Talks about:function (1) languag (1) logic (1) canon (1) unif (1) base (1)
Person: D. W. Shin
DBLP: Shin:D=_W=
Contributed to:
Wrote 1 papers:
- SLP-1987-ShinNHM87 #canonical #functional #logic #unification
- A Functional Logic Language Based on Canonical Unification (DWS, JHN, SH, SM), pp. 328–334.












