Joachim Breitner. A promise checked is a promise kept: inspection testing. In Nicolas Wu, editor, Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. pages 14-25, ACM, 2018. [doi]
Abstract is missing.