Higher order data types

DOI10.1007/BF00995808zbMath0425.68026OpenAlexW1983662941MaRDI QIDQ3860824

Thomas S. E. Maibaum, Carlos J. P. Lucena

Publication date: 1980

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00995808

zbMATH Keywords

algebraic modelsprogramming methodologydatabase systemshigher order data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (8)

Higher-order order-sorted algebras ⋮ D-oids: a model for dynamic data-types ⋮ R n - and G n -logics ⋮ Universal algebra in higher types ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Verifying an infinite systolic algorithm using third-order equational methods ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ An algebraic semantics of higher-order types with subtypes

Cites Work

• Unnamed Item
• Unnamed Item
• An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
• Initial Algebra Semantics and Continuous Algebras
• An axiomatic basis for computer programming

This page was built for publication: Higher order data types