公開日 Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
公開日 Report of Session on Concurrency Mike Schroeder, Jack Dennis ACM SIGPLAN Notices — Proceeding of ACM SIGPLAN – SIGOPS interface meeting on Programming languages – operating systems | September 1973
公開日 A Remark on Berger’s Paper on the Domino Problem Yuri Gurevich, Igor O. Koriakov Siberian Mathematical Journal | February 1972, 巻13: pp. 319-321
公開日 Teaching of computer design to computer science undergraduates. Butler Lampson The Teaching of Computer Design | September 1971
公開日 Towards Lightweight, Model-Agnostic and Diversity-Aware Active Anomaly Detection Xu Zhang, Yuan Zhao, Ziang Cui, Liqun Li, Shilin He, Qingwei Lin 林庆维, Yingnong Dang, S. Rajmohan, Dongmei Zhang ICLR’23 | December 1969
公開日 The Decision Problem for Decision Problems Yuri Gurevich Algebra and Logic | August 1969, 巻8: pp. 362-363