@Inproceedings{EPTCS327.12, author = {Coglio, Alessandro and Westfold, Stephen}, year = {2020}, title = {Isomorphic Data Type Transformations}, editor = {Passmore, Grant and Gamboa, Ruben}, booktitle = {{\rm Proceedings of the Sixteenth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Worldwide, Planet Earth, May 28-29, 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {327}, publisher = {Open Publishing Association}, pages = {125-141}, doi = {10.4204/EPTCS.327.12}, }