Books by Martin Erwig
Dawno temu był sobie Algorytm
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
An update calculus for express
An update calculus for expressing type-safe program updates
Compiling generic mathematical
Compiling generic mathematical tool descriptions into Fortran
Monadification of functional p
Monadification of functional programs
Update your program?
Update your program?
Grundlagen funktionaler Programmierung