Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science

  1. Linking Theory to Practice for the Web.

    Wadler, P.

    EPSRC

    1/12/0531/01/09

    Project: Research

  2. Royal Society Wolfson Research Merit Award

    Wadler, P.

    Other (Learned Society)

    1/10/0430/11/09

    Project: Research

  3. Type Script: the Next Generation

    Wadler, P.

    UK industry, commerce and public corporations

    1/09/1428/02/19

    Project: Research