Prolog s Control Constructs in a Functional Setting - Axioms and Implementation

Ralf Hinze. Prolog s Control Constructs in a Functional Setting - Axioms and Implementation. Int. J. Found. Comput. Sci., 12(2):125-170, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.