Search Results - Chapman, James

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Type checking and normalisation

    Type checking and normalisation by Chapman, James Maitland

    Published 2009
    Get full text
  2. 2
    Relative monads formalised

    Relative monads formalised by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2014
    Get full text
  3. 3
    Monads need not be endofunctors

    Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2015
    Get full text

Search Tools: