Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language

Pascal Brisset. Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 674, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.