Real-Time Higher-Order Recursion Schemes.

Eric Alsmann, Florian Bruse

Browse the full TIME paper archive.