从汇编语言到 Lambda 演算或如何欺骗 FORTRAN 黑客编写帕特里克·扎达尔诺夫斯基 (Patryk Zadarnowski) 的文章 电子书下载

原名:From Assembly Language to Lambda Calculus or How to Trick a FORTRAN Hacker into Writing a by Patryk Zadarnowski
作品简介:直接式 lambda 演算的限制形式： § 没有嵌套的 let\’s 。增量：支配树对于探索的 CFG 的子集始终有效……