2008年（加拿大）

严格系统的函数式语言

量子演算 乘法线性 保持超算 高级抽象 生成机制