M
Martin Erwig
11 works on record
Works

Übersetzerbau

Software Language Engineering
An update calculus for expressing type-safe program updates
An update calculus for expressing type-safe program updates
Update your program?
Update your program?
Grundlagen funktionaler Programmierung
Grundlagen funktionaler Programmierung
Monadification of functional programs
Monadification of functional programs
Compiling generic mathematical tool descriptions into Fortran
Compiling generic mathematical tool descriptions into Fortran
Dawno temu był sobie Algorytm
Dawno temu był sobie Algorytm
Once Upon an algorithm
Once Upon an algorithm
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Programming Language Fundamentals
Programming Language Fundamentals