Indexed containers

Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor McBride, Peter Morris. Indexed containers. Journal of Functional Programming, 25, 2015. [doi]

Abstract

Abstract is missing.