Manifest contracts with intersection types

DOI10.1007/978-3-030-34175-6_3MaRDI QIDQ6536305zbMATH OpenFDO

Authors Yuki Nishida, Atsushi Igarashi

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34175-6_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Manifest contracts for datatypes
• Contracts made manifest
• Contracts made manifest
• Polymorphic contracts
• Stateful manifest contracts

Cites work

• An elementary proof of strong normalization for intersection types
• Blame assignment for higher-order contracts with intersection and union
• CDuce: an XML-centric general-purpose language
• Compositional and lightweight dependent type inference for ML
• Contracts for higher-order functions
• Contracts made manifest
• Dependent types from counterexamples
• Functional Characters of Solvable Terms
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Hybrid type checking
• LCF considered as a programming language
• Manifest contracts for datatypes
• Polymorphic contracts
• Refinement types for Haskell
• Space-efficient manifest contracts
• Stateful manifest contracts
• The locally nameless representation
• Well-Typed Programs Can’t Be Blamed

This page was built for publication: Manifest contracts with intersection types

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