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.