@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/10/23}}}