TY - CONF T1 - Indexed Containers. JO - LICS UR - https://ieeexplore.ieee.org/xpl/conhome/5230546/proceeding PY - 2009/08/01 AU - Altenkirch T AU - Morris P ED - DO - DOI: 10.1109/LICS.2009.33 PB - IEEE Computer Society SN - 978-0-7695-3746-7 SP - 277 EP - 285 Y2 - 2024/12/22 ER -