A funny thing happened on the way to the formula: demonstrating equality of functions and programs.

Patricia Johann

Browse the full SIGCSE paper archive.