Yanhong A. Liu, Scott D. Stoller. Optimizing Ackermann s function by incrementalization. In Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. pages 85-91, ACM, 2003. [doi]
Abstract is missing.