@Inproceedings{EPTCS377.4, author = {Mell, Stephen and Bastani, Osbert and Zdancewic, Steve}, year = {2023}, title = {Ideograph: A Language for Expressing and Manipulating Structured Data}, editor = {Grabmayer, Clemens}, booktitle = {{\rm Proceedings Twelfth International Workshop on} Computing with Terms and Graphs, {\rm Technion, Haifa, Israel, 1st August 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {377}, publisher = {Open Publishing Association}, pages = {65-84}, doi = {10.4204/EPTCS.377.4}, }