An Algebraic Foundation for Adaptive Programming.

Peter Thiemann

Browse the full FOSSACS paper archive.