Polymorphism, parametrization and typing: An algebraic specification perspective

DOI10.1007/BFB0020783MaRDI QIDQ4035653zbMATH OpenFDO

Authors Jacek Leszczylowski, Martin Wirsing

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic specificationdata structuresparameterised specificationspolymorphismsignature

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Data type specification, parameterization and the power of specification techniques
• Algebraic specifications, higher-order types and set-theoretic models
• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• Specification refinement with System F
• Semantic typing for parametric algebraic specifications

Cited in

(8)

• Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
• The semantic treatment of polymorphic specification languages
• Specifying properties of dynamic architectures using configuration traces
• scientific article; zbMATH DE number 5117546 (Why is no real title available?)
• scientific article; zbMATH DE number 596420 (Why is no real title available?)
• Type constraint solving for parametric and ad-hoc polymorphism
• Parametric polymorphism and semantic subtyping
• Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!

This page was built for publication: Polymorphism, parametrization and typing: An algebraic specification perspective

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