External Links

Cite Key

Statistics

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

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 free

    Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martinez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy. Dijkstra monads for free. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 515-529, ACM, 2017. [doi]

    Authors

    Danel Ahman

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

    Catalin Hritcu

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

    Kenji Maillard

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

    Guido Martinez

    This author has not been identified. Look up 'Guido Martinez' in Google

    Gordon D. Plotkin

    This author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in Google

    Jonathan Protzenko

    This author has not been identified. Look up 'Jonathan Protzenko' in Google

    Aseem Rastogi

    This author has not been identified. Look up 'Aseem Rastogi' in Google

    Nikhil Swamy

    This author has not been identified. Look up 'Nikhil Swamy' in Google
    runs on