Building Categorical Data Type Programs

David B. Skillicorn. Building Categorical Data Type Programs. In Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors, Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. Volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 65-74, DIMACS/AMS, 1994.

Abstract

Abstract is missing.