Implementing polymorphic typing in a logic programming language

DOI10.1016/0096-0551(94)90012-4zbMath0811.68067OpenAlexW2061392495MaRDI QIDQ4301318

Gopalan Nadathur, Keehang Kwon, Debra Sue Wilson

Publication date: 21 July 1994

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(94)90012-4

zbMATH Keywords

typinglogic programming languageWarren abstract machine\(\lambda\) Prologrun-time type checking

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies for text processing; mathematical typography (68U15)

This page was built for publication: Implementing polymorphic typing in a logic programming language