Programming Type-Safe Program Updates.

Martin Erwig, Deling Ren

Browse the full ESOP paper archive.