Subrecursion as a Basis for a Feasible Programming Language.

Paul J. Voda

Browse the full CSL paper archive.