Skip to content

Correct and Optimal Implementations of Recursion in a Simple Programming Language

Jean Vuillemin

VenueA*STOC
Year1973
ProceedingsSTOC

Browse the full STOC paper archive.