scientific article; zbMATH DE number 814792

zbMATH Open0836.68064MaRDI QIDQ4855337FDOQ4855337

Authors: John C. Reynolds 

Publication date: 11 April 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 176139
• scientific article; zbMATH DE number 4059656
• scientific article; zbMATH DE number 92598
• scientific article; zbMATH DE number 3918620
• Categories as type classes in the Scala algebra system

zbMATH Keywords

many-sorted algebrascategory-sorted algebras

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Cited In (5)

• Order-sorted algebraic specifications with higher-order functions
• A domain-theoretic semantics of lax generic functions.
• Higher-order subtyping and its decidability
• Title not available (Why is that?)
• Semantics of algorithmic languages

This page was built for publication:

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