文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Thorsten Altenkirch
发表
The Quantum IO Monad
Thorsten Altenkirch, dotwice, 2006 .
Beauty in the Beast A Functional Semantics for the Awkward Squad
Wouter Swierstra, Thorsten Altenkirch, 2007 .