Martin Erwig

· 12 obras en el catálogo

Obras

AAn update calculus for expressing type-safe program updates

An update calculus for expressing type-safe program updates

CCompiling generic mathematical tool descriptions into Fortra

Compiling generic mathematical tool descriptions into Fortran

Grundlagen funktionaler Programmierung

MMonadification of functional programs

Monadification of functional programs

UUpdate your program?

Update your program?

Dawno temu był sobie Algorytm

Once Upon an algorithm

Übersetzerbau

Software Language Engineering

Übersetzerbau

PProceedings of the 2016 ACM SIGPLAN Workshop on Partial Eval

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

PProgramming Language Fundamentals

Programming Language Fundamentals