Abstract
Hinze, R
Hinze, R (reprint author), Tech Univ Kaiserslautern, Fachbereich Informat, D-67653 Kaiserslautern, Germany.
JOURNAL OF FUNCTIONAL PROGRAMMING, 2018; 28 ():