|
Phil Wadler
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, 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 (programming language), Haskell, 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. He is also author of the paper ''Theorems for free!'' that gave rise to much research on functional language optimization (see also Parametricity). Education Wadler received a Bachelor of Science degree in mathematics from Stanfor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Edinburgh
The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 1582 and officially opened in 1583, it is one of Scotland's four ancient universities and the sixth-oldest university in continuous operation in the English-speaking world. The university played an important role in Edinburgh becoming a chief intellectual centre during the Scottish Enlightenment and contributed to the city being nicknamed the " Athens of the North." Edinburgh is ranked among the top universities in the United Kingdom and the world. Edinburgh is a member of several associations of research-intensive universities, including the Coimbra Group, League of European Research Universities, Russell Group, Una Europa, and Universitas 21. In the fiscal year ending 31 July 2021, it had a total income of £1.176 billion, of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
