Philip Wadler 人物
相关论文查看全部 (10)
Imperative functional programming
1993引用 1241
Report on the programming language Haskell
1992ACM SIGPLAN Notices引用 1022
Featherweight Java
2001ACM Transactions on Programming Languages and Systems引用 1000
Theorems for free!
1989引用 775
相关公司查看全部 (6)
University of EdinburghUNIVERSITY
Chalmers University of TechnologyUNIVERSITY
University of OxfordUNIVERSITY
Alcatel Lucent (Germany)COMPANY
相关事件
暂无数据
相关专利
暂 无数据
相关文章
暂无数据