| 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 |
| |
| Supervisor doctoral | Nico Habermann[1] | |
| Información profesional | ||
| Ocupación | Informático teórico, ingeniero y profesor universitario | |
| Área | Lenguaje de programación | |
| Empleador | ||
| Miembro de | ||
| Sitio web | ||
| Distinciones | ||
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]
YouTube Encyclopedic
-
1/3Views:46 44513 001882
-
Propositions as Types - Computerphile
-
Faith, Evolution, and Programming Languages
-
Stanford Seminar - Propositions as Types
Transcription
Educación
Wadler recibió su título de Licenciado en Matemáticas por la Universidad de Stanford en 1977, y luego hizo una Maestría en Ciencias de la Computación en la Universidad Carnegie Mellon en 1979.[6] Completó su Doctorado en Informática en la Universidad Carnegie Mellon en 1984. Su tesis se tituló "Listlessness is Better than Laziness" y estuvo supervisada por Nico Habermann.[1]
Investigación
Los intereses académicos de Wadler se centran en los lenguajes de programación.[7][8][9][4][10]
Wadler fue un investigador del Grupo de Investigación en Programación (parte del Laboratorio de Computación de la Universidad de Oxford) y St Cross College, Oxford durante 1983–87.[6] Hizo carrera docente en la Universidad de Glasgow desde 1987 hasta 1996. Fue Miembro del Personal Técnico en Laboratorios Bell, Lucent Technologies (1996–99) y luego Avaya Labs (1999–2003). A partir del 2003 es Profesor de Ciencia computacional teórica en la Escuela de Informática de la Universidad de Edimburgo.[11]
Servicio académico
Wadler fue editor de la Journal of Functional Programming de 1990–2004. Recibió el premio Most Influential POPL Paper en 2003 por su artículo de 1993 presentado en el Simposio POPL de Programación Funcional Imperativa, en conjunto con Simon Peyton Jones.[6][12] En 2005, se convirtió en Fellow de la Royal Society of Edinburgh. En 2007 fue convocado como Fellow de la Association for Computing Machinery.
Wadler se encuentra trabajando actualmente en un nuevo lenguaje funcional diseñado para escribir aplicaciones web, llamado Links.[13]
Referencias
- ↑ a b Philip Wadler at the Mathematics Genealogy Project
- ↑ http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media.
- ↑ 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.
- ↑ a b Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN 0-596-52775-6. Error en la cita: Etiqueta
<ref>no válida; el nombre «Wadler, Philip; Naftalin, Maurice 2007» está definido varias veces con contenidos diferentes - ↑ 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.
- ↑ a b c Philip Wadler vita.
- ↑ Philip Wadler's publications indexed by the DBLP Bibliography Server at the University of Trier
- ↑ Philip Wadler's publications indexed by Google Scholar, a service provided by Google
- ↑ Philip Wadler's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
- ↑ Bird, Richard Miller; Wadler, Philip (1998). Introduction to functional programming using Haskell. New York: Prentice Hall Europe. ISBN 0-13-484346-0.
- ↑ Philip Wadler, School of Informatics, University of Edinburgh, UK.
- ↑ Peyton Jones, S. L.; Wadler, P. (1993). «Imperative functional programming». Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. p. 71. ISBN 0897915607. doi:10.1145/158511.158524.
- ↑ Links programming language group Archivado el 17 de junio de 2006 en Wayback Machine., University of Edinburgh, UK.
| Control de autoridades |
|
|---|
Datos: Q3379094
Multimedia: Philip Wadler / Q3379094
Esta página se editó por última vez el 17 ene 2022 a las 18:24.