Efficient run-time type checking of typed logic programs Journal Articles uri icon

Overview

Time

Date/time value

  • 1992

Identity

Digital Object Identifier (DOI)

  • 10.1016/0743-1066(92)90046-6

Additional Document Info

Parent Title

  • The Journal of Logic Programming

Volume

  • 14

Issue

  • 1-2

Publisher

  • publisher