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/10/19

ER  -