An update calculus for expressing type-safe program updates
An update calculus for expressing type-safe program updates
Martin Erwig
Details
OL Work ID
OL10042006W
Subjects
Lambda calculus
Computer programs
Find this book
Open Library