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]
<ref>
no válida; no se ha definido el contenido de las referencias llamadas mathgene
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search