Philip Wadler 人物
Philip Wadler · 相关论文
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
Deforestation: transforming programs to eliminate trees
1990Theoretical Computer Science引用 707
The essence of functional programming
1992引用 675
Comprehending monads
1990引用 574
Making the future safe for the past
1998引用 502
Monads for functional programming
1995Lecture notes in computer science引用 467