Authors: Esther Dennis-Jones David E.Rydeheard

Citation: Esther Dennis-jones et David E.rydeheard, Categorical ML - category-theoretic modular programming, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 337-366