Data Types and Persistence (Appin), Informal Proceedings