Philip Wadler

Philip Wadler an der Universität von Edinburgh (Dezember 2008). Biografie

Geburt	8. April 1956 Vereinigte Staaten
Staatsangehörigkeit	amerikanisch
Ausbildung	Stanford University Carnegie-Mellon University
Aktivitäten	Informatiker , Ingenieur , Universitätsprofessor

Andere Informationen

Arbeitete für	Universität von Glasgow (1987- -1996) , Bell Laboratories (1996- -2000) , Universität von Edinburgh (seit2003)
Feld	Programmiersprache
Mitglied von	Royal Society of Edinburgh Vereinigung für Computermaschinen
Direktoren für Abschlussarbeiten	Nico Habermann ( en ) , Arie Nicolaas Habermann ( d ) , Guy Lewis Steele, Jr. ( d )
Webseite	homepages.inf.ed.ac.uk/wadler
Auszeichnungen	Mitglied des ACM Fellow SIGPLAN Distinguished Service Award der Royal Society of Edinburgh (2016)

Philip Wadler (geboren in den USA am8. April 1956) ist ein amerikanischer Informatiker, der für seine Beiträge zum Entwurf von Programmiersprachen und zur Typentheorie bekannt ist .

Biografie

Philip Wadler hat insbesondere zur Theorie der funktionalen Programmierung (insbesondere zu ihren Verknüpfungen mit der Logik, ob klassisch oder linear ), zum Entwurf der funktionalen Sprache Haskell und zur deklarativen Sprache der Abfragen XQuery beigetragen . Er ist Professor für Theoretische Informatik an der School of Informatics der University of Edinburgh . Er ist ein Redner, der seine Überzeugungen mit Stärke und Begeisterung zum Ausdruck bringt .

2006 arbeitete Wadler an einer neuen funktionalen Sprache Links (in) , die zum Schreiben von Webanwendungen entwickelt wurde .