Travelled to:
1 × USA
Collaborated with:
D.W.Shin J.H.Nang S.Maeng
Talks about:
function (1) languag (1) logic (1) canon (1) unif (1) base (1)
Person: Sangki Han
DBLP: Han:Sangki
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.