Definitional interpreters for higher-order programming languages1972-01-010 OA AI DOI:10.1145/800194.805852OriginalOriginal request for helpShareSaveAbstract En