scientific article
From MaRDI portal
Publication:3929003
zbMath0474.68009MaRDI QIDQ3929003
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear formsfunctional programmingreasoning about programsalgebraic lawsdomain of programsprogram-forming operationssolution of recursive equations
Related Items
Functional programming with combinators, Automatic verification of functional programs, A generalization of the concept of sketch, On the expansion of non-linear functions, A new approach to recursion removal, A glimpse into the paradise of combinatory algebra, A knowledge-based approach to program synthesis from examples, Efficient memo-table management strategies