Correct and Optimal Implementations of Recursion in a Simple Programming Language

Jean Vuillemin. Correct and Optimal Implementations of Recursion in a Simple Programming Language. In Conference Record of Fifth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1973, Austin, Texas, USA. pages 224-239, ACM, 1973.

Abstract

Abstract is missing.