Philip Wadler
Philip Wadler
在 inf.ed.ac.uk 的电子邮件经过验证 - 首页
标题引用次数年份
Introduction to Functional Programming
R Bird, P Wadler
Prentice-Hall, Englewood Cliffs, NJ, 1988
1892*1988
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
13671992
Comprehending monads
P Wadler
Proceedings of the 1990 ACM conference on LISP and functional programming, 61-78, 1990
11491990
Deforestation: Transforming programs to eliminate trees
P Wadler
European Symposium on Programming, 344-358, 1988
10201988
Featherweight Java: a minimal core calculus for Java and GJ
A Igarashi, BC Pierce, P Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001
9942001
The essence of functional programming
P Wadler
POPL 92 (37), 1-14, 1992
9761992
How to make ad-hoc polymorphism less ad hoc
P Wadler, S Blott
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
9611989
Theorems for free!
P Wadler
FPCA 89 (4), 347-359, 1989
9191989
Making the future safe for the past: Adding genericity to the Java programming language
G Bracha, M Odersky, D Stoutamire, P Wadler
Acm sigplan notices 33 (10), 183-200, 1998
7221998
Imperative functional programming
SLPJP Wadler, SLP Jones
Proceeding of the 20th Annual ACM SIGACT-SIGPLAN Symposium on Pronciple of …, 1993
7071993
Monads for functional programming
P Wadler
International School on Advanced Functional Programming, 24-52, 1995
6841995
Pizza into Java: Translating theory into practice
M Odersky, P Wadler
POPL 97 (19), 146-159, 1997
6491997
Linear types can change the world
P Wadler
IFIP TC 2, 347-359, 1990
6231990
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi, B Pierce, P Wadler
ACM SIGPLAN Notices 34 (10), 132-146, 1999
4751999
The call-by-need lambda calculus
ZM Ariola, M Felleisen
Journal of functional programming 7 (3), 265-301, 1997
4261997
Links: Web programming without tiers
E Cooper, S Lindley, P Wadler, J Yallop
International Symposium on Formal Methods for Components and Objects, 266-296, 2006
3632006
A history of Haskell: being lazy with class
P Hudak, J Hughes, S Peyton Jones, P Wadler
Proceedings of the third ACM SIGPLAN conference on History of programming …, 2007
3422007
How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
P Wadler
Conference on Functional Programming Languages and Computer Architecture …, 1985
3401985
Views: A way for pattern matching to cohabit with data abstraction
P Wadler
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987
3261987
The Glasgow Haskell compiler: a technical overview
SLP Jones, C Hall, K Hammond, W Partain, P Wadler
Proc. UK Joint Framework for Information Technology (JFIT) Technical …, 1993
3001993
系统目前无法执行此操作,请稍后再试。
文章 1–20