摘要：多线程计算中多项式时间的Light Logics扩展：一种多线程程序的控制语言
作者：Antoine Madet (PPS)
论文ID：1209.5851
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-09-27
PDF 下载： 英文版 中文版pdf翻译中