152 followers
Finished reading: Luca Cardelli and David MacQueen. Persistence and Type Abstraction. In Data Types and Persistence, Springer, 1988. https://t.co/hNkTA0MFky
Finished reading: Luca Cardelli and David MacQueen. Persistence and Type Abstraction. In Data Types and Persistence, Springer, 1988. https://t.co/hNkTA0MFky
@AndrewCMyers Today maybe. But not always. There was great work done in this domain in the late 80's and 90's. For example: "Data Types and Persistence", with contributions from the likes of Cardelli, Weihl, Harper and more. https://t.co/hdEPDjko6a