About this scholarly article

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 by Devriese, Dominique is a scholarly article available to read on EtoBox.

Author

Devriese, Dominique

Publisher

ACM Press

Published

2019

Language

EN