Manifest contracts with intersection types

DOI10.1007/978-3-030-34175-6_3zbMATH Open1542.68037MaRDI QIDQ6536305FDOQ6536305

Yuki Nishida, Atsushi Igarashi

Publication date: 19 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• CDuce
• Refinement types for Haskell
• LCF considered as a programming language
• Functional Characters of Solvable Terms
• Contracts for higher-order functions
• Well-Typed Programs Can’t Be Blamed
• Contracts made manifest
• The locally nameless representation
• Hybrid type checking
• Dependent types from counterexamples
• An elementary proof of strong normalization for intersection types
• Blame assignment for higher-order contracts with intersection and union
• Compositional and Lightweight Dependent Type Inference for ML
• Space-efficient manifest contracts
• Manifest contracts for datatypes
• Polymorphic Contracts
• Stateful manifest contracts

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)