A semantics for shape
- 1 December 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 25 (2-3) , 251-283
- https://doi.org/10.1016/0167-6423(95)00015-1
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Foundations of Parallel ProgrammingPublished by Cambridge University Press (CUP) ,1994
- Tail recursion through universal invariantsTheoretical Computer Science, 1993
- Introduction to extensive and distributive categoriesJournal of Pure and Applied Algebra, 1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- A report on the sisal language projectJournal of Parallel and Distributed Computing, 1990
- List-arithmetic distributive categories: LocoiJournal of Pure and Applied Algebra, 1990
- A logical basis for nested array data structuresComputer Languages, 1989
- Why systolic architectures?Computer, 1982
- Une théorie combinatoire des séries formellesAdvances in Mathematics, 1981
- Strong functors and monoidal monadsArchiv der Mathematik, 1972