題目：Modeling Imperative programming by a declarative way

CFP 表單

想法

演講大綱

問題