Philip Wadler

References

(Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/Philip_Wadler Retrieved:2015-12-6.
- Philip Lee "Phil" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming ^[1] and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper "Theorems for free!" that gave rise to much research on functional language optimization (see also Parametricity).

(Brach et al., 1998) ⇒ Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. (1998). “Making the future safe for the past: Adding genericity to the Java programming language." In ACM SIGPLAN Notices, vol. 33, no. 10, pp. 183-200. ACM, 1998.

(Wadler, 1992a) ⇒ Philip Wadler. (1992). “Comprehending Monads." Mathematical structures in computer science 2, no. 04
(Wadler, 1992b) ⇒ Philip Wadler. (1992). “The Essence of Functional Programming.” In: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1-14 . ACM,
(Hudak et al., 1992) ⇒ Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán . (1992). “Report on the Programming Language Haskell: A Non-strict, Purely Functional Language Version 1.2." ACM SigPlan notices 27, no. 5

(Wadler & Blott, 1989) ⇒ Philip Wadler, and Stephen Blott. (1989). “How to Make Ad-hoc Polymorphism Less Ad Hoc.” In: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp . 60-76 . ACM,

(Wadler, 1989) ⇒ Philip Wadler. (1989). “Theorems for Free!.” In: Proceedings of the fourth International Conference on Functional programming languages and computer architecture, pp. 347-359 . ACM,