scientific article; zbMATH DE number 7561489

DOI10.4230/LIPIcs.TYPES.2018.4MaRDI QIDQ5091145

Giuseppe Castagna, Davide Ancona, Elena Zucca, Tommaso Petrucciani

Publication date: 21 July 2022

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

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

zbMATH Keywords

intersection typescall-by-needunion typessemantic subtypingnon-strict semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Polarized subtyping

Cites Work

• Unnamed Item
• A Core Calculus for XQuery 3.0
• Refinement types for Haskell
• Polymorphic Functions with Set-Theoretic Types
• Static and dynamic semantics of NoSQL languages
• Set-theoretic types for polymorphic variants
• NixOS: A purely functional Linux distribution
• Semantic subtyping
• Semantic types
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• Semantic subtyping with an SMT solver
• Set-theoretic foundation of parametric polymorphism and subtyping
• CDuce
• General Recursion via Coinductive Types
• Computer Science Logic
• Polymorphic functions with set-theoretic types
• Automata, Languages and Programming

This page was built for publication: