1. Haskell 2010 language report 2010. Haskell 2010 language report 2010.
2. Functional Pearls Efficient sets—a balancing act
3. doi: 10.1017/ S0956796800000885. doi: 10.1017/ S0956796800000885.
4. T.
Altenkirch J.
Chapman and
T.
Uustalu
.
Monads need not be endofunctors. In L. Ong editor Foundations of Software Science and Computational Structures volume
6014
of
Lecture Notes in Computer Science pages 297–
311
. Springer Berlin Heidelberg 2010. doi: 10. 1007/978-3-642-12032-9_21. 10.1007/978-3-642-12032-9_21 T. Altenkirch J. Chapman and T. Uustalu. Monads need not be endofunctors. In L. Ong editor Foundations of Software Science and Computational Structures volume 6014 of Lecture Notes in Computer Science pages 297–311. Springer Berlin Heidelberg 2010. doi: 10. 1007/978-3-642-12032-9_21. 10.1007/978-3-642-12032-9_21
5. Parameterised notions of computation