TiML: A Functional Language for Practical Complexity Analysis with Invariants

演示文稿

日期
2月 9, 2018 12:00 PM — 1:00 PM
事件
PLunch, Carnegie Mellon University
王迪
王迪
助理教授

朝着思想自由、兼容并包的计算机科学前进！