A semantics for shape

DOI10.1016/0167-6423(95)00015-1zbMath0853.68119OpenAlexW2009259962MaRDI QIDQ1916356

C. Barry Jay

Publication date: 12 December 1996

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(95)00015-1

zbMATH Keywords

shapely types

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Categories of machines, automata (18B20)

Related Items (10)

Proving Properties about Functions on Lists Involving Element Tests ⋮ Unnamed Item ⋮ Complexity bounds for container functors and comonads ⋮ Covariant types ⋮ Decomposing Comonad Morphisms. ⋮ Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins ⋮ Polynomial functors and polynomial monads ⋮ Final Dialgebras: From Categories to Allegories ⋮ The essence of the <scp>Iterator</scp> pattern ⋮ Constructive Membership Predicates as Index Types

This page was built for publication: A semantics for shape