@inproceedings{inproceedings, title = {{Indexed Containers.}}, publisher = {{IEEE Computer Society}}, url = {{https://ieeexplore.ieee.org/xpl/conhome/5230546/proceeding }}, year = {{2009}}, month = {{8}}, author = {{Altenkirch T and Morris P}}, doi = {{10.1109/LICS.2009.33}}, isbn = {{978-0-7695-3746-7}}, journal = {{LICS}}, pages = {{277-285}}, note = {{Accessed on 2024/12/22}}}