Abstract
This paper presents a maramafication of an essential part of FPLs: the construction of well-typed algebraic data structures based on type definitions with at most one type parameter. Maramafication means the design of visual ‘twins’ of existing programming constructs using spatial metaphors rooted in common sense or inborn spatial intuition,
... read more