A semantics for shape

DOI10.1016/0167-6423(95)00015-1MaRDI QIDQ1916356zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1330446
• Towards dynamic shaping
• Shapeliness analysis of functional programs with algebraic data types
• A Shape Analysis for Non-linear Data Structures
• Programming in FISh

Cited in

(14)

• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• Programming in FISh
• Covariant types
• Proving properties about functions on lists involving element tests
• The essence of the <scp>Iterator</scp> pattern
• Final Dialgebras: From Categories to Allegories
• Understanding as an interpretation in a shape understanding system
• Complexity bounds for container functors and comonads
• Categorical shape theory as a formal language for pattern recognition?
• Decomposing Comonad Morphisms.
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Constructive membership predicates as index types
• Polynomial functors and polynomial monads
• A canonical definition of shape

This page was built for publication: A semantics for shape

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1916356)