Efficient Implementation of Structural Recursion.

Klaus Indermark, Herbert Klaeren

Browse the full FCT paper archive.