scientific article; zbMATH DE number 92598

MaRDI QIDQ4018064zbMATH OpenFDO

Authors Barney P. Hilken, David Rydeheard

Publication date 16 January 1993

zbMATH Keywords

functional programmingtype classescomprehension schemata

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Fibered categories (18D30)

Recommendations

• scientific article; zbMATH DE number 176139
• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 4007695
• A category-theoretic account of program modules
• scientific article; zbMATH DE number 4027427

Cited in

(6)

• Categories as type classes in the Scala algebra system
• scientific article; zbMATH DE number 176139 (Why is no real title available?)
• scientific article; zbMATH DE number 814792 (Why is no real title available?)
• Semantically Inactive Multiplicatives and Words as Types
• scientific article; zbMATH DE number 4099299 (Why is no real title available?)
• Category localization semantics for specification refinements

This page was built for publication:

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