命令式语言中的Lambda提升和CPS转换

摘要:从线程到事件:通过延续的过程中持续传递的C中延续传递技术报告的完整验证证明版本

作者:Gabriel Kerneis (PPS), Juliusz Chroboczek (PPS)

论文ID:1202.3247

分类:Programming Languages

分类简称:cs.PL

提交时间:2012-02-16

PDF 下载: 英文版 中文版pdf翻译中