热度排名 #1789

把经典相继式演算编译到普通硬件

[OOPSLA'25] Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation

讲座把逻辑推导和机器上的计算联系起来。跟着一个相继式看输入、输出与控制次序怎样出现，再问编译保留了原来哪些对应关系。

ACM SIGPLAN · 1 串讨论 · 热度 1.418

讨论出处