@Inproceedings{EPTCS317.4, author = {{\v{S}}inkarovs, Artjoms}, year = {2020}, title = {Multi-dimensional Arrays with Levels}, editor = {New, Max S. and Lindley, Sam}, booktitle = {{\rm Proceedings Eighth Workshop on} Mathematically Structured Functional Programming, {\rm Dublin, Ireland, 25th April 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {317}, publisher = {Open Publishing Association}, pages = {57-71}, doi = {10.4204/EPTCS.317.4}, }