Philip Wadler

Phil Wadler
Philip Wadler antes de una clase en la University of Edinburgh.
Información personal
Nombre de nacimiento	Philip Lee Wadler
Nacimiento	8 de abril de 1956 (68 años) Estados Unidos
Nacionalidad	Británica y estadounidense
Educación
Educado en	Universidad Stanford (BSc) Universidad Carnegie Mellon (PhD)
Supervisor doctoral	Nico Habermann[1]​
Información profesional
Ocupación	Informático teórico, ingeniero y profesor universitario
Área	Lenguaje de programación
Empleador	University of Edinburgh Avaya Labs Bell Labs Universidad de Glasgow Universidad de Sídney Universidad de Copenhague Universidad de Oxford Chalmers University of Technology Universidad Carnegie Mellon Universidad Stanford
Miembro de	Sociedad Real de Edimburgo Association for Computing Machinery (desde 2007)
Sitio web	homepages.inf.ed.ac.uk/wadler wadler.blogspot.com
Distinciones	FRSE FACM
[editar datos en Wikidata]

Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) es un científico de la computación estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos. En particular, ha contribuido a la teoría detrás de la programación funcional y al uso de mónadas en programación funcional,^[2]​ el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery.^[3]​ En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0.^[4]​ Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales.^[5]​

1. ↑ Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas mathgene
2. ↑ http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media.
3. ↑ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, M. A. M.; Hammond, K.; Hughes, J. (1992). «Report on the programming language Haskell». ACM SIGPLAN Notices 27 (5): 1. doi:10.1145/130697.130699. 
4. ↑ Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN 0-596-52775-6. 
5. ↑ Wadler, P. (1989). «Theorems for free!». Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89. p. 347. ISBN 0897913280. doi:10.1145/99370.99404.