Higher Type Recursion and Self-Application as Control Structures

Werner Damm, Elfriede Fehr, Klaus Indermark. Higher Type Recursion and Self-Application as Control Structures. In Erich J. Neuhold, editor, Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. pages 461-490, North-Holland, 1977.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.