External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Dijkstra monads for all

    Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter. Dijkstra monads for all. Proceedings of the ACM on Programming Languages, 3(ICFP), 2019. [doi]

    Authors

    Kenji Maillard

    This author has not been identified. Look up 'Kenji Maillard' in Google

    Danel Ahman

    This author has not been identified. Look up 'Danel Ahman' in Google

    Robert Atkey

    This author has not been identified. Look up 'Robert Atkey' in Google

    Guido Martínez

    This author has not been identified. Look up 'Guido Martínez' in Google

    Catalin Hritcu

    This author has not been identified. Look up 'Catalin Hritcu' in Google

    Exequiel Rivas

    This author has not been identified. Look up 'Exequiel Rivas' in Google

    Éric Tanter

    This author has not been identified. It may be one of the following persons: Look up 'Éric Tanter' in Google
    runs on