Philip Wadler (original) (raw)

dbo:abstract

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, el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery. En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0. Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales. (es)
Philip Wadler (né aux États-Unis le 8 avril 1956) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types. (fr)
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer Science at School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming 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). (en)
Philip Lee Wadler (8 aprile 1956) è un informatico statunitense. È noto per i suoi contributi alla progettazione del linguaggio di programmazione e alla teoria dei tipi. In particolare, ha contribuito alla teoria alla base della programmazione funzionale e all'uso delle monadi nella programmazione funzionale, alla progettazione del linguaggio puramente funzionale Haskell e al linguaggio di query dichiarativo XQuery. Nel 1984 ha creato il linguaggio di programmazione Orwell. Wadler è stato coinvolto nell'aggiunta di tipi generici a Java 5.0. È anche autore dell'articolo che ha dato origine a molte ricerche sull'ottimizzazione del linguaggio funzionale. Wadler ha conseguito una laurea (Bachelor) scientifica in matematica presso la Stanford University nel 1977 e un Master in Ingegneria informatica presso la Carnegie Mellon University nel 1979. Ha completato il suo dottorato in filosofia in informatica presso la Carnegie Mellon University nel 1984. La sua tesi si intitolava Listlessness is Better than Laziness (l'apatia è meglio della pigrizia) ed è stata supervisionata da Nico Habermann. Gli interessi di ricerca di Wadler riguardano i linguaggi di programmazione. Wadler è stato ricercatore presso il Programming Research Group (parte dell'Oxford University Computing Laboratory) e il St Cross College (Oxford) dal 1983 al 1987. È stato progressivamente docente, lettore e professore presso l'Università di Glasgow dal 1987 al 1996. Wadler è stato membro dello staff tecnico presso Bell Labs, Lucent Technologies (1996–99) e poi presso (1999–2003). Dal 2003 è professore di informatica teorica presso la School of Informatics dell'Università di Edimburgo. Wadler è stato editore del Journal of Functional Programming dal 1990 al 2004. Wadler sta attualmente lavorando a un nuovo linguaggio funzionale progettato per scrivere applicazioni web, chiamato Links. Dal 2003, Wadler è professore di informatica teorica presso il presso l'Università di Edimburgo. È anche membro del dell'università. Ha un indice H di 70 con 24.447 citazioni su Google Scholar. A dicembre 2018 Wadler era leader di area per i linguaggi di programmazione presso IOHK, una società di sviluppo della blockchain. (it)
菲利普·李·瓦德勒（Philip Lee Wadler，1956年4月8日－）是一位美国電腦科學家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。 (zh)

dbo:academicDiscipline

dbr:Programming_language

dbo:almaMater

dbo:award

dbo:birthDate

1956-04-08 (xsd:date)

dbo:birthName

Philip Lee Wadler (en)

dbo:doctoralAdvisor

dbr:Nico_Habermann

dbo:institution

dbo:thumbnail

wiki-commons:Special:FilePath/Wadler2.jpg?width=300

dbo:wikiPageExternalLink

dbo:wikiPageID

2830383 (xsd:integer)

dbo:wikiPageLength

12439 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1105664778 (xsd:integer)

dbo:wikiPageWikiLink

dbp:almaMater

Carnegie Mellon University (en)
Stanford University (en)
(en)

dbp:awards

(en)
ACM Fellow (en)
FRSE (en)

dbp:birthDate

1956-04-08 (xsd:date)

dbp:birthName

Philip Lee Wadler (en)

dbp:caption

Wadler before a lecture at the University of Edinburgh (en)

dbp:doctoralAdvisor

dbr:Nico_Habermann

dbp:fields

Programming languages (en)

dbp:name

Phil Wadler (en)

dbp:thesisTitle

Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (en)

dbp:thesisUrl

http://search.proquest.com/docview/303342238/

dbp:thesisYear

1984 (xsd:integer)

dbp:website

(en)

dbp:wikiPageUsesTemplate

dbp:workplaces

Bell Labs (en)
Carnegie Mellon University (en)
Chalmers University of Technology (en)
Stanford University (en)
University of Copenhagen (en)
University of Edinburgh (en)
University of Glasgow (en)
University of Oxford (en)
University of Sydney (en)
(en)
Avaya Labs (en)

dct:subject

gold:hypernym

dbr:Scientist

schema:sameAs

http://viaf.org/viaf/74166584

rdf:type

rdfs:comment

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, el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery. En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0. Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales. (es)
Philip Wadler (né aux États-Unis le 8 avril 1956) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types. (fr)
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer Science at School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming 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). (en)
菲利普·李·瓦德勒（Philip Lee Wadler，1956年4月8日－）是一位美国電腦科學家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。 (zh)
Philip Lee Wadler (8 aprile 1956) è un informatico statunitense. È noto per i suoi contributi alla progettazione del linguaggio di programmazione e alla teoria dei tipi. In particolare, ha contribuito alla teoria alla base della programmazione funzionale e all'uso delle monadi nella programmazione funzionale, alla progettazione del linguaggio puramente funzionale Haskell e al linguaggio di query dichiarativo XQuery. Nel 1984 ha creato il linguaggio di programmazione Orwell. Wadler è stato coinvolto nell'aggiunta di tipi generici a Java 5.0. È anche autore dell'articolo che ha dato origine a molte ricerche sull'ottimizzazione del linguaggio funzionale. (it)

rdfs:label