Definitional interpreters for higher-order programming languages1972-01-010 OA AI DOI:10.1145/800194.805852原文链接原文求助分享收藏摘要 En