Polarized Subtyping for Sized Types

DOI10.1007/11753728_39zbMath1142.68326OpenAlexW1518711727MaRDI QIDQ3434712

Andreas Abel

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11753728_39

Mathematics Subject Classification ID

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

Related Items (3)

Mixed Inductive/Coinductive Types and Strong Normalization ⋮ Polarized subtyping ⋮ Syntactic Metatheory of Higher-Order Subtyping

This page was built for publication: Polarized Subtyping for Sized Types