Travelled to:
1 × USA
Collaborated with:
K.Yi C.Calcagno
Talks about:
polymorph (1) languag (1) system (1) stage (1) multi (1) modal (1) type (1) lisp (1) like (1)
Person: Ik-Soon Kim
DBLP: Kim:Ik=Soon
Contributed to:
Wrote 1 papers:
- POPL-2006-KimYC #multi #polymorphism #type system
- A polymorphic modal type system for lisp-like multi-staged languages (ISK, KY, CC), pp. 257–268.