Ernest G. Manes
Michael A. Arbib and Ernest G. Manes.
The pattern-of-calls expansion is the canonical fixpoint for recursive definitions.
Journal of the ACM
, 29(2):577-602, April 1982.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database