Coherent explicit dictionary application for Haskell - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Thomas Winant, Dominique Devriese. Coherent explicit dictionary application for Haskell. 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 81-93, ACM, 2018. [doi]

The following publications are possibly variants of this publication:

Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case studyDominique Devriese. haskell 2019: 1-14 [doi]

runs on WebDSL