Computer Science Logic

DOI10.1007/B100120MaRDI QIDQ5311256zbMATH OpenOpenAlexFDO

Authors Andreas Abel, Ralph Matthes

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Iteration and coiteration schemes for higher-order and nested datatypes
• scientific article; zbMATH DE number 2003147
• scientific article; zbMATH DE number 1956505
• Recursion on Nested Datatypes in Dependent Type Theory
• Type fixpoints, iteration vs. recursion

Cited in

(11)

• HasCasl: integrated higher-order specification and program development
• Iteration and coiteration schemes for higher-order and nested datatypes
• Type fixpoints, iteration vs. recursion
• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 445161 (Why is no real title available?)
• scientific article; zbMATH DE number 2003147 (Why is no real title available?)
• Index-stratified types
• Martin Hofmann's Case for Non-Strictly Positive Data Types
• Efficiency of lambda-encodings in total type theory
• The calculus of dependent lambda eliminations
• Map fusion for nested datatypes in intensional type theory

This page was built for publication: Computer Science Logic

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