db/conf/db-workshops/CardelliM85.html Luca Cardelli David B. MacQueen Persistence and Type Abstraction. 31-41 POS/1985/P031.pdf 1985 conf/pos/1985 Data Types and Persistence (Appin) db/conf/db-workshops/appin85.html#CardelliM85