Abstract. We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals.

We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals.

The inversion law, as well as a number of other properties of idiomatic traversals, is a corollary of a more general theorem characterising traversable functors ...

We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals.

Authors: R. Bird, J. Gibbons, S. Mehner, T. Schrijvers, and J. Voigtländer. Published: In Haskell Symposium 2013 (Haskell'13, acceptance rate 13/33), ...

We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals.

Oct 6, 2024 · Bibliographic details on Understanding idiomatic traversals backwards and forwards.

We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals.

Understanding Idiomatic Traversals. Backwards and Forwards. Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtländer. July 3rd, 2013 ...

No information is available for this page. · Learn why