Recursion is a computational effect (2000)

by Daniel P Friedman, Amr Sabry