Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy. Authenticated modular maps in Haskell. In Richard A. Eisenberg, Niki Vazou, editors, Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. pages 1-13, ACM, 2018. [doi]
Abstract is missing.