Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science