An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. - Nils Dallmeyer; Manfred Schmidt-Schauß (WPTE@FSCD, 2016)

Space Improvements and Equivalences in a Functional Core Language. - Manfred Schmidt-Schauß; Nils Dallmeyer (WPTE@FSCD, 2017)

Sequential and Parallel Improvements in a Concurrent Functional Programming Language. - Manfred Schmidt-Schauß; David Sabel; Nils Dallmeyer (PPDP, 2018)

Optimizing Space of Parallel Processes. - Manfred Schmidt-Schauß; Nils Dallmeyer (WPTE@FSCD, 2018)

Space optimizations in deterministic and concurrent call-by-need functional programming languages. - Nils Dallmeyer (2020)