Refining Inductive Types

DOI10.2168/LMCS-8(2:9)2012zbMath1241.68045MaRDI QIDQ2890506

Robert Atkey, Patricia Johann, Neil Ghani

Publication date: 11 June 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

fibrationscategory theoryinductive typesdependent typesrefinement types

Mathematics Subject Classification ID

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

Related Items (2)

The essence of ornaments ⋮ An Isbell duality theorem for type refinement systems

This page was built for publication: Refining Inductive Types