F*Jonathan; Rastogi, Aseem; Swamy, Nikhil. Dijkstra Monads for Free. 44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2017 [2021-08-29]
陶爾多什·埃娃(原始内容存档于2017-11-20). ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet Use. ACM SIGACT. May 16, 2012 [July 15
哥德尔奖ACM SIGACT))聯合頒發。該獎項是為紀念庫爾特·哥德爾而命名的。哥德爾是第一個提出P/NP問題的人,在1956年寫給約翰·馮·諾伊曼的信中,哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決。 哥德爾獎於1993年開始在STOC(ACM計算理論研討會(英语:Symposium
理論計算機科學在理解计算的本质,并根据这种理解提供更有效率的方法。 精确地限制定义理论计算机科学的范围并非易事;根据计算机协会(ACM)算法与计算理论兴趣组(SIGACT)的表述: 计算机协会(ACM)《计算理论学报》(Transactions on Computation
慢速排序Broder; Jorge Stolfi. Pessimal Algorithms and Simplexity Analysis (PDF). ACM SIGACT NEWS, 16(3):49-53, 1984. 1984 [2021-06-19]. doi:10.1145/990534.990536