Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science

  1. Type Script: the Next Generation

    Wadler, P.

    1/09/1428/02/18

    £37,150, UK industry, commerce and public corporations

    Project: Funded ProjectResearch

  2. Project: Funded ProjectResearch

  3. Project: Funded ProjectResearch

  4. Linking Theory to Practice for the Web.

    Wadler, P.

    1/12/0531/01/09

    £306,154, EPSRC

    Project: Funded ProjectResearch

  5. Royal Society Wolfson Research Merit Award

    Wadler, P.

    1/10/0430/11/09

    £125,000, Other (Learned Society)

    Project: Funded ProjectResearch