![](/img/cover-not-exists.png)
Efficient run-time type checking of typed logic programs
Philip W. Dart, Justin ZobelVolume:
14
Year:
1992
Language:
english
Pages:
39
DOI:
10.1016/0743-1066(92)90046-6
File:
PDF, 3.08 MB
english, 1992