Title: An update calculus for expressing type-safe program updates
Subjects: Lambda calculus, Computer programs