Authors
Steven Keuchel, Tom Schrijvers
Publication date
2012/7
Journal
Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)
Pages
6
Description
Higher-order functions that are polymorphic in a monad make highly flexible modular components. Unfortunately, the combination of an unknown function parameter and a polymorphic monad are detrimental to reasoning. This paper shows how to eliminate both the function parameter and the polymorphism. The resulting characterization is amenable to reasoning.
Total citations
Scholar articles
S Keuchel, T Schrijvers - Draft Proceedings of the 24th Symposium on …, 2012