原名:simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
作品简介:信息与数学研究所信息学，J.W. Goethe-University, PoBox 11 19 32, c Division of Science and Mathematics, University of Minnesota, Morris, MN 56267-2134，程序的评估以一个值终止（即是否需要计算智慧……
资源下载
VIP免费升级VIP
