An update calculus for expressing type-safe program updates
An update calculus for expressing type-safe program updates
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Martin Erwig
Compiling generic mathematical
Compiling generic mathematical tool descriptions into Fortran
Dawno temu był sobie Algorytm
Grundlagen funktionaler Programmierung
Monadification of functional p
Monadification of functional programs
Once upon an algorithm
Once upon an algorithm
Proceedings of the 2016 ACM SI
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation