scientific article; zbMATH DE number 7168151

MaRDI QIDQ5216307

Giuseppe Castagna

Publication date: 17 February 2020

Full work available at URL: https://arxiv.org/abs/1809.01427

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type theoryintersection typessubtypingoverloadingobject-oriented languagessemantic subtyping

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Non-local configuration of component interfaces by constraint satisfaction

Cites Work

• Unnamed Item
• Unnamed Item
• A modest model of records, inheritance, and bounded quantification
• Modular statically typed multimethods
• A calculus for overloaded functions with subtyping
• Intersection and union types: Syntax and semantics
• Polymorphic Functions with Set-Theoretic Types
• Static and dynamic semantics of NoSQL languages
• Regular expression types for XML
• Semantic subtyping
• Set-theoretic foundation of parametric polymorphism and subtyping
• Regular expression pattern matching for XML
• CDuce
• Automata, Languages and Programming

This page was built for publication: