Matches in DBpedia 2014 for { ?s ?p Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory. In particular, 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).. }
Showing items 1 to 1 of
1
with 100 items per page.
- Philip_Wadler abstract "Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory. In particular, 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).".