A note on categorical datatypes

DOI10.1007/BFB0018348MaRDI QIDQ5096255zbMATH OpenOpenAlexFDO

Authors Gavin C. Wraith

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Categorical data types in parametric polymorphism
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 4047683
• Comparing Hagino's categorical programming language and typed lambda- calculi
• scientific article; zbMATH DE number 937388

Cited in

(11)

• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• Data types in distributive categories
• scientific article; zbMATH DE number 4111987 (Why is no real title available?)
• Categorical data types in parametric polymorphism
• Circuits as streams in Coq: verification of a sequential multiplier
• scientific article; zbMATH DE number 937839 (Why is no real title available?)
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
• Programming with streams in Coq a case study: The Sieve of Eratosthenes
• Strong categorical datatypes II: A term logic for categorical programming
• Comparing Hagino's categorical programming language and typed lambda- calculi

This page was built for publication: A note on categorical datatypes

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