Higher-Order Functional Composition in Visual Form
Laurent Dami, Didier Vallet · Archive ouverte UNIGE (University of Geneva) · 1996
A visual formalism for functional composition is presented, which departs from many other visual systems in that it is not merely dataflow: the formalism also supports the notion of higher-order composition, i.e. treating functions as data. This is done through a simple notion of graph rewriting, which can be explained in a very intuitive fashion by moving software components along dataflow paths. The intended goal of this formalism is mainly didactical: some non-trivial aspects of the lambda calculus or other higher-order rewriting systems can be demonstrated without any mathematical background. In : "Object Applications", ed. Dennis Tsichritzis, University of Geneva, Centre Universitaire d'Informatique, Aug. 1996. This project is supported by the Swiss Federal Government by the SNSF grant 20-40'592.94 (Object Integration) and the OFES grant 93.0144 for Esprit BRA project 9102 (COORDINATION) 139 Higher-Order Functional Composition in Visual Form Laurent Dami and Didier Vallet Abstr...