Bootstrapping Types and Cotypes in HasCASL

DOI10.1007/978-3-540-73859-6_30MaRDI QIDQ3612506zbMATH OpenOpenAlexFDO

Authors Lutz Schröder

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_30

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Bootstrapping Inductive and Coinductive Types in HasCASL
• \textsc{HasCasl}: towards integrated specification and development of functional programs
• HasCasl: integrated higher-order specification and program development
• scientific article; zbMATH DE number 1086721
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus

Cited in

(2)

• Bootstrapping Inductive and Coinductive Types in HasCASL
• HasCasl: integrated higher-order specification and program development

Describes a project that uses

Uses Software

• CoCasl
• Hets
• CASL

This page was built for publication: Bootstrapping Types and Cotypes in HasCASL

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