Philip Wadler
From Wikipedia, the free encyclopedia
Estados Unidos
- Universidad Stanford (BSc)
- Universidad Carnegie Mellon (PhD)
| 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 (69 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]
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]
