Showing 1 - 2 results of 2 for search 'McBride, Conor', query time: 0.02s Refine Results
  1. 1
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…McBride, Conor…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
    Published 2016
    Other Authors: “…McBride, Conor…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search