A polymorphic type system in logic programming.

Huiqi Li, Zhizhuo Zhao

Browse the full ISKE paper archive.