ACM Principles of Programming Languages, POPL 2017

Article Details
Title: Dijkstra monads for free
Article URLs:
Alternative Article URLs: https://arxiv.org/abs/1608.06499
Authors: Danel Ahman
  • Microsoft Research
  • University of Edinburgh
Catalin Hritcu
  • Microsoft Research
  • INRIA
Kenji Maillard
  • Microsoft Research
  • INRIA
  • ENS
Guido Martínez
  • INRIA
  • Universidad Nacional de Rosario
Gordon D. Plotkin
  • Microsoft Research
  • University of Edinburgh
Jonathan Protzenko
  • Microsoft Research
Aseem Rastogi
  • Microsoft Research
Nikhil Swamy
  • Microsoft Research
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/popl/AhmanHMMPPRS17
Author Comments:

Discuss this paper and its artifacts below