发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

Wei, Guannan; Decker, James; Rompf, Tiark

期刊名称Proceedings of the ACM on Programming Languages
作者Wei, Guannan; Decker, James; Rompf, Tiark
卷第2卷
电子ISSN2475-1421
文件大小422.42KB
发表时间2018-07-30
DOI10.1145/3236800
页码1-28

← 返回【学霸图书馆】主页