![](/img/cover-not-exists.png)
[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study
Devriese, DominiqueYear:
2019
Language:
english
DOI:
10.1145/3331545.3342589
File:
PDF, 639 KB
english, 2019