Implementing polymorphic typing in a logic programming language

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'Implementing polymorphic typing in a logic programming language'. Together they form a unique fingerprint.

Engineering & Materials Science