Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

by Manfred Schmidt-Schauss
Published 2013-02-01

Optimizing Space of Parallel Processes

by Manfred Schmidt-Schauß, Nils Dallmeyer
Published 2019-02-01

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

by Manfred Schmidt-Schauß, Conrad Rau
Published 2010-12-01

Space Improvements and Equivalences in a Functional Core Language

by Manfred Schmidt-Schauß, Nils Dallmeyer
Published 2018-02-01

An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages

by Nils Dallmeyer, Manfred Schmidt-Schauss
Published 2017-01-01