Philip Wadler: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
 
(32 intermediate revisions by 20 users not shown)
Line 1: Line 1:
{{short description|American computer scientist}}
{{Short description|American computer scientist}}
{{Use mdy dates|date=August 2020}}
{{Use mdy dates |date=August 2020}}
{{Infobox scientist
{{Infobox scientist
| name = Phil Wadler
| name = Phil Wadler
| honorific_suffix = {{post-nominals|country=GBR|FRS|FRSE|size=100}}
| birth_name = Philip Lee Wadler
| birth_name = Philip Lee Wadler
| image = Wadler2.JPG
| image = Wadler2.JPG
| image_size =
| image_size =
| alt =
⚫
| caption = Wadler before a lecture at the [[University of Edinburgh]]
| alt =
⚫
| birth_date = {{Birth date and age|1956|04|08}}
⚫
| caption = Philip Wadler before a lecture at the [[University of Edinburgh]].
⚫
| birth_place =
⚫
| birth_date = {{Birth date and age|1956|04|08}}
⚫
| death_date = <!-- {{Death date and age|203y|mm|dd|1956|04|08}} (death date then birth date) -->
⚫
| birth_place =
| death_place =
⚫
| death_date = <!-- {{Death date and age|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->
| death_place =
| resting_place =
| resting_place =
| resting_place_coordinates = <!-- {{Coord|LAT|LONG|type:landmark|display=inline,title}} -->
| resting_place_coordinates = <!-- {{Coord|LAT|LONG|type:landmark|display=inline,title}} -->
| citizenship = American
| residence =
| citizenship =
| nationality =
| fields = [[Computer science]], [[programming language]]s
| nationality =
⚫
| workplaces = {{Plainlist|
| fields = [[Programming language]]s<ref name="googlescholar"/>
⚫
| workplaces = {{Plainlist|
* [[University of Edinburgh]]
* [[University of Edinburgh]]
* [[Avaya|Avaya Labs]]
* [[Avaya]] Labs
* [[Bell Labs]]
* [[Bell Labs]]
* [[University of Glasgow]]
* [[University of Glasgow]]
Line 29: Line 29:
* [[Carnegie Mellon University]]
* [[Carnegie Mellon University]]
* [[Stanford University]]}}
* [[Stanford University]]}}
| alma_mater = {{Plainlist|
| alma_mater = {{Plainlist|
* [[Stanford University]] (BSc)
* [[Stanford University]] (BSc)
* [[Carnegie Mellon University]] (PhD)}}
* [[Carnegie Mellon University]] (PhD)}}
| thesis_title = Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists
| thesis_title = Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists
| thesis_url = http://search.proquest.com/docview/303342238/
| thesis_url = https://www.proquest.com/docview/303342238
| thesis_year = 1984
| thesis_year = 1984
| doctoral_advisor = [[Nico Habermann]]<ref name="mathgene">{{MathGenealogy|id=50229}}</ref>
| doctoral_advisor = [[Nico Habermann]]
| academic_advisors =
| academic_advisors =
| doctoral_students = {{Plainlist|
| doctoral_students =
| notable_students =
*Ezra Cooper<ref name=mathgene/>
| known_for = {{unbulleted list |Theory of [[functional programming]], [[Monad (functional programming)|monads]] |Contributions to languages: [[Haskell]], [[XQuery]] |Created language [[Orwell (programming language)|Orwell]] |Helped add [[Generic programming|generic]] types to [[Java (programming language)|Java]] 5 |Wrote "Theorems for free!}}
*Kei Davis<ref name=mathgene/>
⚫
| influences =
* DeLesley Hutchins<ref name=delesley>{{cite thesis|degree=PhD|publisher=University of Edinburgh|title=Pure subtype systems : a type theory for extensible software|first= DeLesley|last=Hutchins|date=2009|url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.562515|website=ethos.bl.uk|oclc=781103005|hdl=1842/3937
⚫
| influenced =
}} {{open access}}</ref>
| awards = {{unbulleted list |[[Fellow of the Royal Society of Edinburgh]] (2005) |[[ACM Fellow]] (2007) |[[ACM Distinguished Service Award]] (2016) |[[Fellow of the Royal Society]] (2023)}}
* David R. Lester<ref name=lester>{{cite thesis|degree=DPhil|publisher=University of Oxford|title=Combinator graph reduction : A congruence and its applications|first= David.|last=Lester|date=1988|
⚫
| signature = <!-- Filename only -->
url=http://solo.bodleian.ox.ac.uk/OXVU1:LSCOP_OX:oxfaleph010355492|website=bodleian.ox.ac.uk|oclc=937098100|isbn= 9780902928558}}</ref><ref name=mathgene/>
⚫
| signature_alt =
* Philip Trinder<ref name=mathgene/>
| website = {{Official URL}}
* Jeremy Yallop<ref name=yallop>{{cite thesis|degree=PhD|publisher=University of Edinburgh|title=Abstraction for web programming|first= Jeremy|last=Yallop|date=2010|
⚫
| footnotes =
url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.563012|website=ethos.bl.uk|oclc=827264319|hdl=1842/4683}} {{open access}}</ref>}}
| notable_students =
| spouse =
| known_for =
⚫
| influences =
⚫
| influenced =
| awards = {{Plainlist|
* [[FRSE]] (2005) <ref name="rse">[https://www.rse.org.uk/fellow/philip-wadler/ Royal Society of Edinburgh profile]</ref>
* [[ACM Fellow]] (2007) <ref name="acm" /> }}
⚫
| signature = <!--(filename only)-->
⚫
| signature_alt =
| website = {{Plainlist|
* {{URL|http://wadler.blogspot.com}}
* {{URL|homepages.inf.ed.ac.uk/wadler}}}}
⚫
| footnotes =
| spouse =
}}
}}


'''Philip Lee Wadler''' (born April 8, 1956) is an American [[computer scientist]] known for his contributions to [[programming language design]] and [[type theory]]. In particular, he has contributed to the theory behind [[functional programming]]<ref>{{cite web|url=http://www.oreillynet.com/pub/au/2440|title=Philip Wadler: Biography|publisher=[[O'Reilly Media]]|access-date=March 20, 2017}}</ref>{{fv|reason=Writing an intro to X book != contributing to the theory behind. Aside, this is not an independent source.|date=April 2021}} and the use of [[monads in functional programming]], the design of the purely functional language [[Haskell (programming language)|Haskell]],<ref>{{Cite journal | last1 = Hudak | first1 = P. | last2 = Johnsson | first2 = T. | last3 = Kieburtz | first3 = D. | last4 = Nikhil | first4 = R. | last5 = Partain | first5 = W. | last6 = Peterson | first6 = J. | last7 = Peyton Jones | first7 = S. | author-link7 = Simon Peyton Jones| last8 = Wadler | first8 = P. | author-link8 = Phil Wadler| last9 = Boutel | first9 = B. | doi = 10.1145/130697.130699 | last10 = Fairbairn | first10 = J. | last11 = Fasel | first11 = J. | last12 = Guzmán | first12 = M. A. M. | last13 = Hammond | first13 = K. | last14 = Hughes | first14 = J. | title = Report on the programming language Haskell | journal = ACM SIGPLAN Notices | volume = 27 | issue = 5 | page = 1 | year = 1992 | s2cid = 15516611 }}</ref> and the [[XQuery]] declarative query language. In 1984, he created the [[Orwell (programming language)|Orwell programming language]]. Wadler was involved in adding [[Generic programming|generic]] types to [[Java (programming language)|Java]] 5.0.<ref name="Wadler, Philip; Naftalin, Maurice 2007">{{cite book |author1=Wadler, Philip |author2=Naftalin, Maurice |title=Java generics and collections |publisher=O'Reilly |location=Sebastopol, CA |year=2007 |isbn=978-0-596-52775-4 |author1-link=Phil Wadler }}</ref> He is also author of the paper ''Theorems for free!''<ref name="free">{{Cite book | doi = 10.1145/99370.99404| chapter = Theorems for free!| title = Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89| page = 347| year = 1989| last1 = Wadler | first1 = P. | isbn = 978-0897913287| s2cid = 5513047}}</ref> that gave rise to much research on functional language optimization (see also [[Parametricity]]).
'''Philip Lee Wadler''' (born April 8, 1956) {{post-nominals|country=GBR|FRS|FRSE}} is a UK-based 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 the [[School of Informatics, University of Edinburgh]]. He has contributed to the theory behind [[functional programming]]<ref>{{cite web |url=http://www.oreillynet.com/pub/au/2440 |title=Philip Wadler: Biography |publisher=[[O'Reilly Media]] |access-date=March 20, 2017}}</ref> and the use of [[Monad (functional programming)|monads]]; and the designs of the purely functional language [[Haskell]]<ref>{{Cite journal |last1=Hudak |first1=P. |last2=Johnsson |first2=T. |last3=Kieburtz |first3=D. |last4=Nikhil |first4=R. |last5=Partain |first5=W. |last6=Peterson |first6=J. |last7=Peyton Jones |first7=S. |author-link7=Simon Peyton Jones |last8=Wadler |first8=P. |author-link8=Phil Wadler |last9=Boutel |first9=B. |last10=Fairbairn |first10=J. |last11=Fasel |first11=J. |last12=Guzmán |first12=M. A. M. |last13=Hammond |first13=K. |last14=Hughes |first14=J. |year=1992 |title=Report on the programming language Haskell |journal=ACM SIGPLAN Notices |volume=27 |issue=5 |page=1 |doi=10.1145/130697.130699 |s2cid=15516611}}</ref> and the [[XQuery]] declarative query language. In 1984, he created the [[Orwell (programming language)|Orwell language]]. Wadler was involved in adding [[Generic programming|generic]] types to [[Java (programming language)|Java]] 5.0.<ref name="Wadler, Philip; Naftalin, Maurice 2007">{{cite book |author1=Wadler, Philip |author2=Naftalin, Maurice |title=Java generics and collections |publisher=O'Reilly |location=Sebastopol, CA |year=2007 |isbn=978-0-596-52775-4 |author1-link=Phil Wadler}}</ref> He is also author of "Theorems for free!",<ref name="free">{{Cite book |doi=10.1145/99370.99404 |chapter=Theorems for free! |title=Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89 |page=347 |year=1989 |last1=Wadler |first1=P. |isbn=978-0897913287 |s2cid=5513047}}</ref> a paper that gave rise to much research on functional language optimization (see also [[Parametricity]]).<ref>{{YouTube|E1hWlg-Ms9I|"Professor Philip Wadler: Functional Programming In Finance"}}</ref>


==Education==
==Education==
Wadler received a [[Bachelor of Science]] degree in [[mathematics]] from [[Stanford University]] in 1977, and a [[Master of Science]] degree in Computer Science from [[Carnegie Mellon University]] in 1979.<ref name="vita">{{cite web|url=http://homepages.inf.ed.ac.uk/wadler/vita.pdf |title=Philip Wadler : CV |website=Homepages.inf.ed.ac.uk |access-date=March 20, 2017}}</ref> He completed his [[Doctor of Philosophy]] in Computer Science at Carnegie Mellon University in 1984. His thesis was entitled ''Listlessness is Better than Laziness'' and was supervised by [[Nico Habermann]].<ref name=pwphd>{{cite thesis |degree=PhD |first=Philip Lee|last=Wadler |title=Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists |publisher=Carnegie Mellon University |date=1984 |oclc=123317612 |id={{ProQuest|303342238}}}} {{subscription required}}</ref><ref name="mathgene"/>
Wadler received a [[Bachelor of Science]] degree in [[mathematics]] from [[Stanford University]] in 1977, and a [[Master of Science]] degree in [[computer science]] from [[Carnegie Mellon University]] in 1979.<ref name="vita">{{cite web |url=http://homepages.inf.ed.ac.uk/wadler/vita.pdf |title=Philip Wadler: CV |website=Homepages.inf.ed.ac.uk |access-date=March 20, 2017}}</ref> He completed his [[Doctor of Philosophy]] in computer science at Carnegie Mellon University in 1984. His thesis was entitled "Listlessness is better than laziness" and was supervised by [[Nico Habermann]].<ref name=pwphd>{{cite thesis |degree=PhD |first=Philip Lee |last=Wadler |title=Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists |publisher=Carnegie Mellon University |date=1984 |oclc=123317612 |id={{ProQuest|303342238}}}} {{subscription required}}</ref><ref name="mathgene">{{MathGenealogy|id=50229}}</ref>


==Research and career==
==Research and career==
Wadler's research interests<ref name="dblp">{{DBLP|name=Philip Wadler}}</ref><ref name="googlescholar">{{Google Scholar id}}</ref><ref name="scopus">{{Scopus|id=7004077144}}</ref> are in [[programming languages]].<ref name="Wadler, Philip; Naftalin, Maurice 2007"/><ref>{{cite book |author1=Bird, Richard Miller |author2=Wadler, Philip |title=Introduction to functional programming using Haskell |publisher=Prentice Hall Europe |location=New York |year=1998 |isbn=978-0-13-484346-9 |author1-link=Richard Bird (computer scientist) }}</ref>
Wadler's research interests<ref name="dblp">{{DBLP}}</ref><ref name="googlescholar">{{Google Scholar id}}</ref><ref name="scopus">{{Scopus id}}</ref> are in [[programming languages]].<ref name="Wadler, Philip; Naftalin, Maurice 2007"/><ref>{{cite book |author1=Bird, Richard Miller |author2=Wadler, Philip |title=Introduction to functional programming using Haskell |publisher=Prentice Hall Europe |location=New York |year=1998 |isbn=978-0-13-484346-9 |author1-link=Richard Bird (computer scientist)}}</ref>


Wadler was a [[research fellow]] at the [[Programming Research Group]] (part of the [[Oxford University Department of Computer Science|Oxford University Computing Laboratory]]) and [[St Cross College, Oxford]] during 1983–87.<ref name="vita" /> He was progressively lecturer, reader, and professor at the [[University of Glasgow]] from 1987 to 1996. Wadler was a member of technical staff at [[Bell Labs]], [[Lucent Technologies]] (1996–99) and then at [[Avaya]] Labs (1999–2003). Since 2003, he has been professor of [[theoretical computer science]] in the School of Informatics at the [[University of Edinburgh]].<ref>{{cite web|url=http://www.inf.ed.ac.uk/people/staff/Philip_Wadler.html |title=Philip Wadler |website=Inf.ed.ac.uk |access-date=March 20, 2017}}</ref>
Wadler was a [[research fellow]] at the [[Programming Research Group]] (part of the [[Oxford University Department of Computer Science|Oxford University Computing Laboratory]]) and [[St Cross College, Oxford]] during 1983–87.<ref name="vita"/> He was progressively lecturer, reader, and professor at the [[University of Glasgow]] from 1987 to 1996. Wadler was a member of technical staff at [[Bell Labs]], [[Lucent Technologies]] (1996–99) and then at [[Avaya]] Labs (1999–2003). Since 2003, he has been professor of [[theoretical computer science]] in the School of Informatics at the [[University of Edinburgh]].<ref>{{cite web |url=http://www.inf.ed.ac.uk/people/staff/Philip_Wadler.html |title=Philip Wadler |website=Inf.ed.ac.uk |access-date=March 20, 2017}}</ref>


Wadler was editor of the ''[[Journal of Functional Programming]]'' from 1990 to 2004.
Wadler was editor of the ''[[Journal of Functional Programming]]'' from 1990 to 2004. Wadler is currently{{when|date=March 2017}} working on a new functional language designed for writing [[web applications]], called ''Links''.<ref>{{cite web |url=http://groups.inf.ed.ac.uk/links |title=Archived copy |access-date=June 22, 2006 |url-status=dead |archive-url=https://web.archive.org/web/20060617043737/http://groups.inf.ed.ac.uk/links |archive-date=June 17, 2006 }}</ref> He has supervised numerous doctoral students to completion.<ref name=mathgene/><ref name=delesley/><ref name=lester/><ref name=yallop/>


Since 2003, Wadler has been a professor of [[theoretical computer science]] at the Laboratory for Foundations of Computer Science at the [[University of Edinburgh]] and is the chair of Theoretical Computer Science.<ref>{{cite web |url= http://www.inf.ed.ac.uk/people/staff/Philip_Wadler.html|title=Philip Wadler |author=<!--Not stated--> |date= n.d.|website=inf.ed.ac.uk |publisher= the University of Edinburgh |access-date= February 5, 2019}}</ref> He is also a member of the university's [[Blockchain]] Technology Laboratory.<ref>{{cite web |url=https://www.ed.ac.uk/informatics/blockchain/people |title= A list of people involved with the Blockchain Technology Lab.|author=<!--Not stated--> |date= December 14, 2018|website=ed.ac.uk |publisher= the University of Edinburgh |access-date= February 5, 2019}}</ref><ref>{{cite web |url=http://homepages.inf.ed.ac.uk/wadler/ |title= Philip Wadler's home page |last= Wadler|first= Philip |date=n.d. |website=homepages.inf.ed.ac.uk |publisher= home pages |access-date= February 5, 2019}}</ref> He has a h-index of 72 with 26,874 citations at [[Google Scholar]].<ref>{{cite web |url=https://scholar.google.co.uk/citations?user=Iz-3VFQAAAAJ&hl=en |title= Philip Wadler |author=<!--Not stated--> |date= n.d.|website= scholar.google.co.uk |publisher= Google Scholar |access-date= February 5, 2019}}</ref> As of December 2018 Wadler was area leader for programming languages at IOHK, a blockchain development firm.<ref>{{Cite web|url=https://www.investinblockchain.com/smart-contract-development-cardano-blockchain/|title=IOHK Launches 2 New Tools For Smart Contract Development|last=Wall|first=Jeremy|date=December 12, 2018|website=Invest in Blockchain|access-date=March 25, 2020}}</ref>
Since 2003, Wadler has been a professor of [[theoretical computer science]] at the Laboratory for Foundations of Computer Science at the [[University of Edinburgh]] and is the chair of theoretical computer science.<ref>{{cite web |url=http://www.inf.ed.ac.uk/people/staff/Philip_Wadler.html |title=Philip Wadler |author=<!--Unstated--> |date=n.d. |website=inf.ed.ac.uk |publisher=the University of Edinburgh |access-date=February 5, 2019}}</ref> In 2006, he was working on a new functional language for writing [[web applications]], called ''Links''.<ref>{{cite web |title=Links |url=http://groups.inf.ed.ac.uk/links |url-status=dead |archive-url=https://web.archive.org/web/20060617043737/http://groups.inf.ed.ac.uk/links |archive-date=June 17, 2006 |access-date=June 22, 2006}}</ref><ref>{{cite web |title=Official website for Links lang |url=https://links-lang.org/}}</ref> He has supervised many doctoral students to completion.<ref name="mathgene"/><ref name="delesley">{{cite thesis |degree=PhD |publisher=University of Edinburgh |title=Pure subtype systems: a type theory for extensible software |first=DeLesley |last=Hutchins |date=2009 |url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.562515 |website=ethos.bl.uk |oclc=781103005 |hdl=1842/3937}} {{open access}}</ref><ref name="lester">{{cite thesis |last=Lester |first=David |date=1988 |degree=DPhil |publisher=University of Oxford |title=Combinator graph reduction: A congruence and its applications |url=http://solo.bodleian.ox.ac.uk/OXVU1:LSCOP_OX:oxfaleph010355492 |website=bodleian.ox.ac.uk |oclc=937098100 |isbn=9780902928558}}</ref><ref name="yallop">{{cite thesis |degree=PhD |publisher=University of Edinburgh |title=Abstraction for web programming |first=Jeremy |last=Yallop |date=2010 |url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.563012 |website=ethos.bl.uk |oclc=827264319 |hdl=1842/4683}} {{open access}}</ref> He is also a member of the university's [[Blockchain]] Technology Laboratory.<ref>{{cite web |url=https://www.ed.ac.uk/informatics/blockchain/people |title=A list of people involved with the Blockchain Technology Lab |author=<!--Unstated--> |date=December 14, 2018 |website=ed.ac.uk |publisher=the University of Edinburgh |access-date=February 5, 2019}}</ref><ref>{{cite web |url=http://homepages.inf.ed.ac.uk/wadler/ |title=Philip Wadler's home page |last=Wadler |first=Philip |date=n.d. |website=homepages.inf.ed.ac.uk |publisher=home pages |access-date=February 5, 2019}}</ref> Wadler has a h-index of 72 with 26,864 citations at [[Google Scholar]].<ref>{{cite web |url=https://scholar.google.co.uk/citations?user=Iz-3VFQAAAAJ&hl=en |title=Philip Wadler |author=<!--Unstated--> |date=n.d. |website=scholar.google.co.uk |publisher=Google Scholar |access-date=February 5, 2019}}</ref>


Since 2018 Wadler was has also been a senior research fellow and area leader for programming languages at IOHK (now Input Output Global), the blockchain engineering company developing [[Cardano (blockchain platform)|Cardano]].<ref>{{Cite web |url=https://www.investinblockchain.com/smart-contract-development-cardano-blockchain/ |title=IOHK Launches 2 New Tools For Smart Contract Development |last=Wall |first=Jeremy |date=December 12, 2018 |website=Invest in Blockchain |access-date=March 25, 2020}}</ref> He has contributed to work on Plutus, a [[Turing-complete]] smart contract language for Cardano written in Haskell; the [[UTXO]] ledger system, [[native token]]s, and [[System F]] in [[Agda (programming language)|Agda]].<ref>{{Cite web |last=Wadler |first=Philip |date=December 11, 2018 |title=Smart contracts language for Cardano launches at PlutusFest |url=https://iohk.io/en/blog/posts/2018/12/11/smart-contracts-language-for-cardano-launches-at-plutusfest/ |archive-url=https://web.archive.org/web/20200317081836/https://iohk.io/en/blog/posts/2018/12/11/smart-contracts-language-for-cardano-launches-at-plutusfest/ |archive-date=17 March 2020 |access-date=June 11, 2003}}</ref><ref>{{Cite web |title=Prof Philip Wadler, Research papers - IOHK Research |url=https://iohk.io/en/research/library/authors/philip-wadler/ |access-date=2023-06-11 |website=IOHK |language=en}}</ref>
⚫
==Awards and honours==
Wadler received the ''Most Influential POPL Paper Award'' in 2003 for the 1993 [[POPL]] Symposium paper ''Imperative Functional Programming'', jointly with [[Simon Peyton Jones]].<ref name="vita" /><ref>{{Cite book | last1 = Peyton Jones | first1 = S. L. | author-link1 = Simon Peyton Jones| last2 = Wadler | first2 = P. | author-link2 = Phil Wadler| doi = 10.1145/158511.158524 | chapter = Imperative functional programming | title = Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages – POPL '93 | page = 71 | year = 1993 | isbn = 978-0897915601 | citeseerx = 10.1.1.53.2504 | s2cid = 9751593 }}</ref>
In 2005, he was elected [[Fellow of the Royal Society of Edinburgh]].<ref name="rse" /> In 2007, he was inducted as an [[ACM Fellow]] by the [[Association for Computing Machinery]] (ACM).<ref name="acm">[http://awards.acm.org/award_winners/wadler_3048733.cfm ACM fellowship award page]</ref>
{{-}}


⚫
===Awards and honours===
⚫
==References==
In 2003, Wadler was given the award for the most influential paper from ten years earlier by the [[Symposium on Principles of Programming Languages]]. The award cited "Imperative functional programming", a paper written jointly with [[Simon Peyton Jones]] in 1993.<ref name="vita"/><ref>{{Cite book |last1=Peyton Jones |first1=S. L. |author-link1=Simon Peyton Jones |last2=Wadler |first2=P. |doi=10.1145/158511.158524 |chapter=Imperative functional programming |title=Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages – POPL '93 |page=71 |year=1993 |isbn=978-0897915601 |citeseerx=10.1.1.53.2504 |s2cid=9751593}}</ref> In 2005, he was elected [[Fellow of the Royal Society of Edinburgh]] (FRSE).<ref name="rse">{{cite web |url=https://rse.org.uk/fellowship/professor-philip-wadler/ |website=rse.org.uk |title=Professor Philip Wadler |publisher=[[Royal Society of Edinburgh]]}}</ref> In 2007, he was inducted as a fellow by the [[Association for Computing Machinery]].<ref name="acm">[http://awards.acm.org/award_winners/wadler_3048733.cfm ACM fellowship award page]</ref> He was elected [[Fellow of the Royal Society]] (FRS) in 2023.<ref>{{Cite web |title=Philip Wadler |url=https://royalsociety.org/people/philip-wadler-36242/ |access-date=2023-05-26 |website=Royalsociety.org}}</ref>
⚫
{{Reflist|30em}}


==External links==
==Sources==
Profile to mark FRS appointment.<ref>{{Cite web |last=Quinn |first=Anthony |date=14 July 2023 |title=Wadler follows the giants of science |url=https://iohk.io/en/blog/posts/2023/07/06/professor-philip-wadler-follows-the-giants-of-science-at-the-royal-society/ |access-date=4 August 2023}}</ref>
⚫
* {{Commons category-inline}}

⚫
==References==
⚫
{{Reflist}}


⚫
{{Commons category-inline}}
{{Haskell programming}}
{{Authority control}}
{{Authority control}}


Line 105: Line 94:
[[Category:Programming language researchers]]
[[Category:Programming language researchers]]
[[Category:Formal methods people]]
[[Category:Formal methods people]]
[[Category:Academic journal editors]]
[[Category:American academic journal editors]]
[[Category:Computer science writers]]
[[Category:Computer science writers]]
[[Category:American textbook writers]]
[[Category:American textbook writers]]
[[Category:American male non-fiction writers]]
[[Category:American male non-fiction writers]]
[[Category:Fellows of the Royal Society of Edinburgh]]
[[Category:Fellows of the Royal Society of Edinburgh]]
[[Category:Fellows of the Association for Computing Machinery]]
[[Category:Fellows of the Royal Society]]
[[Category:2007 Fellows of the Association for Computing Machinery]]
[[Category:American expatriates in the United Kingdom]]
[[Category:American expatriates in the United Kingdom]]
[[Category:People associated with Cardano]]

Latest revision as of 12:42, 13 April 2024

Phil Wadler
FRS FRSE
Wadler before a lecture at the University of Edinburgh
Born
Philip Lee Wadler

(1956-04-08) April 8, 1956 (age 68)
CitizenshipAmerican
Alma mater
Known for
Awards
Scientific career
FieldsComputer science, programming languages
Institutions
ThesisListlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984)
Doctoral advisorNico Habermann
Websitehomepages.inf.ed.ac.uk/wadler/ Edit this at Wikidata

Philip Lee Wadler (born April 8, 1956) FRS FRSE is a UK-based 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 the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming[1] and the use of monads; and the designs of the purely functional language Haskell[2] and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0.[3] He is also author of "Theorems for free!",[4] a paper that gave rise to much research on functional language optimization (see also Parametricity).[5]

Education[edit]

Wadler received a Bachelor of Science degree in mathematics from Stanford University in 1977, and a Master of Science degree in computer science from Carnegie Mellon University in 1979.[6] He completed his Doctor of Philosophy in computer science at Carnegie Mellon University in 1984. His thesis was entitled "Listlessness is better than laziness" and was supervised by Nico Habermann.[7][8]

Research and career[edit]

Wadler's research interests[9][10][11] are in programming languages.[3][12]

Wadler was a research fellow at the Programming Research Group (part of the Oxford University Computing Laboratory) and St Cross College, Oxford during 1983–87.[6] He was progressively lecturer, reader, and professor at the University of Glasgow from 1987 to 1996. Wadler was a member of technical staff at Bell Labs, Lucent Technologies (1996–99) and then at Avaya Labs (1999–2003). Since 2003, he has been professor of theoretical computer science in the School of Informatics at the University of Edinburgh.[13]

Wadler was editor of the Journal of Functional Programming from 1990 to 2004.

Since 2003, Wadler has been a professor of theoretical computer science at the Laboratory for Foundations of Computer Science at the University of Edinburgh and is the chair of theoretical computer science.[14] In 2006, he was working on a new functional language for writing web applications, called Links.[15][16] He has supervised many doctoral students to completion.[8][17][18][19] He is also a member of the university's Blockchain Technology Laboratory.[20][21] Wadler has a h-index of 72 with 26,864 citations at Google Scholar.[22]

Since 2018 Wadler was has also been a senior research fellow and area leader for programming languages at IOHK (now Input Output Global), the blockchain engineering company developing Cardano.[23] He has contributed to work on Plutus, a Turing-complete smart contract language for Cardano written in Haskell; the UTXO ledger system, native tokens, and System F in Agda.[24][25]

Awards and honours[edit]

In 2003, Wadler was given the award for the most influential paper from ten years earlier by the Symposium on Principles of Programming Languages. The award cited "Imperative functional programming", a paper written jointly with Simon Peyton Jones in 1993.[6][26] In 2005, he was elected Fellow of the Royal Society of Edinburgh (FRSE).[27] In 2007, he was inducted as a fellow by the Association for Computing Machinery.[28] He was elected Fellow of the Royal Society (FRS) in 2023.[29]

Sources[edit]

Profile to mark FRS appointment.[30]

References[edit]

  1. ^ "Philip Wadler: Biography". O'Reilly Media. Retrieved March 20, 2017.
  2. ^ 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. S2CID 15516611.
  3. ^ a b Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN 978-0-596-52775-4.
  4. ^ Wadler, P. (1989). "Theorems for free!". Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89. p. 347. doi:10.1145/99370.99404. ISBN 978-0897913287. S2CID 5513047.
  5. ^ "Professor Philip Wadler: Functional Programming In Finance" on YouTube
  6. ^ a b c "Philip Wadler: CV" (PDF). Homepages.inf.ed.ac.uk. Retrieved March 20, 2017.
  7. ^ Wadler, Philip Lee (1984). Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (PhD thesis). Carnegie Mellon University. OCLC 123317612. ProQuest 303342238. (subscription required)
  8. ^ a b Philip Wadler at the Mathematics Genealogy Project
  9. ^ Philip Wadler at DBLP Bibliography Server Edit this at Wikidata
  10. ^ Philip Wadler publications indexed by Google Scholar Edit this at Wikidata
  11. ^ Philip Wadler publications indexed by the Scopus bibliographic database. (subscription required)
  12. ^ Bird, Richard Miller; Wadler, Philip (1998). Introduction to functional programming using Haskell. New York: Prentice Hall Europe. ISBN 978-0-13-484346-9.
  13. ^ "Philip Wadler". Inf.ed.ac.uk. Retrieved March 20, 2017.
  14. ^ "Philip Wadler". inf.ed.ac.uk. the University of Edinburgh. n.d. Retrieved February 5, 2019.
  15. ^ "Links". Archived from the original on June 17, 2006. Retrieved June 22, 2006.
  16. ^ "Official website for Links lang".
  17. ^ Hutchins, DeLesley (2009). Pure subtype systems: a type theory for extensible software. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/3937. OCLC 781103005. Open access icon
  18. ^ Lester, David (1988). Combinator graph reduction: A congruence and its applications. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. ISBN 9780902928558. OCLC 937098100.
  19. ^ Yallop, Jeremy (2010). Abstraction for web programming. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/4683. OCLC 827264319. Open access icon
  20. ^ "A list of people involved with the Blockchain Technology Lab". ed.ac.uk. the University of Edinburgh. December 14, 2018. Retrieved February 5, 2019.
  21. ^ Wadler, Philip (n.d.). "Philip Wadler's home page". homepages.inf.ed.ac.uk. home pages. Retrieved February 5, 2019.
  22. ^ "Philip Wadler". scholar.google.co.uk. Google Scholar. n.d. Retrieved February 5, 2019.
  23. ^ Wall, Jeremy (December 12, 2018). "IOHK Launches 2 New Tools For Smart Contract Development". Invest in Blockchain. Retrieved March 25, 2020.
  24. ^ Wadler, Philip (December 11, 2018). "Smart contracts language for Cardano launches at PlutusFest". Archived from the original on March 17, 2020. Retrieved June 11, 2003.
  25. ^ "Prof Philip Wadler, Research papers - IOHK Research". IOHK. Retrieved June 11, 2023.
  26. ^ 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. CiteSeerX 10.1.1.53.2504. doi:10.1145/158511.158524. ISBN 978-0897915601. S2CID 9751593.
  27. ^ "Professor Philip Wadler". rse.org.uk. Royal Society of Edinburgh.
  28. ^ ACM fellowship award page
  29. ^ "Philip Wadler". Royalsociety.org. Retrieved May 26, 2023.
  30. ^ Quinn, Anthony (July 14, 2023). "Wadler follows the giants of science". Retrieved August 4, 2023.

Media related to Philip Wadler at Wikimedia Commons

Retrieved from "https://en.wikipedia.org/w/index.php?title=Philip_Wadler&oldid=1218725115"