摘要：在线部分求值的简短教程介绍
作者：William R. Cook (University of Texas at Austin), Ralf L"ammel (University of Koblenz-Landau)
论文ID：1109.0781
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-09-06
PDF 下载： 英文版 中文版pdf翻译中