scientific article; zbMATH DE number 1497873

MaRDI QIDQ4499304zbMATH OpenFDO

Authors Erik Poll

Publication date 5 March 2001

zbMATH Keywords

object-oriented programmingsubtyping

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A coalgebraic semantics of subtyping
• scientific article; zbMATH DE number 1377613
• A coalgebraic foundation for coinductive union types
• scientific article; zbMATH DE number 1696907
• An approach to object semantics based on terminal co-algebras

Cited in

(11)

• Types and coalgebraic structure
• A coalgebraic semantics of subtyping
• Coherence and Transitivity in Coercive Subtyping
• Subset Coercions in Coq
• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• scientific article; zbMATH DE number 1377613 (Why is no real title available?)
• From algebras and coalgebras to dialgebras
• A coalgebraic foundation for coinductive union types
• Algebra and Coalgebra in Computer Science
• Automata, Languages and Programming
• An implementation of LF with coercive subtyping and universes

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