Delimited continuations for prolog
SCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN
- 期刊名称Theory and Practice of Logic Programming
- 作者SCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN
- 卷第13卷
- 印刷ISSN1471-0684
- 电子ISSN1475-3081
- 文件大小535.38KB
- 发表时间2013-7
- DOI10.1017/s1471068413000331
- 页码533-546