Trek through Pure Reason: Algebra of Programming using Dependent Types

$\newcommand{\defeq}{\mathrel{\mathop:}=}$

2008/04/12

出現在 scm 老師的網頁上了！！！

S-C. Mu, H-S. Ko, and P. Jansson. Algebra of programming using dependent types. In Mathematics of Program Construction 2008. July 2008.

是完美的 16 頁 XD。

--
晚點再看一遍 XD。