Search Results - Wadler, Philip 1956-

Philip Wadler

Wadler before a lecture at the [[University of Edinburgh]] Philip Lee Wadler (born April 8, 1956) is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is holds the position of Personal 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 and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization (see also Parametricity). Provided by Wikipedia
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    An introduction to functional programming

    An introduction to functional programming by Bird, R. J. Richard J

    Published 1988
    Other Authors: “…Wadler, Philip 1956-…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    Practical aspects of declarative languages 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

    Practical aspects of declarative languages 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

    Published 2002
    Other Authors: “…Wadler, Philip 1956-…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: