scientific article; zbMATH DE number 176139

MaRDI QIDQ4035240zbMATH OpenFDO

Authors Barney P. Hilken, David Rydeheard

Publication date 18 May 1993

zbMATH Keywords

comprehension schematafunctional programming languagesoverloadingtype classestype conversion

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30) Fibered categories (18D30) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 92598
• scientific article; zbMATH DE number 4007695
• A category-theoretic account of program modules
• A theory of classes: proofs and models
• scientific article; zbMATH DE number 139984

Cited in

(11)

• Comprehension categories and the semantics of type dependency
• Category localization semantics for specification refinements
• scientific article; zbMATH DE number 4007695 (Why is no real title available?)
• scientific article; zbMATH DE number 4099299 (Why is no real title available?)
• scientific article; zbMATH DE number 92598 (Why is no real title available?)
• A theory of classes: proofs and models
• A category-theoretic account of program modules
• scientific article; zbMATH DE number 814792 (Why is no real title available?)
• Semantically Inactive Multiplicatives and Words as Types
• A category-theoretic account of program modules
• Categories as type classes in the Scala algebra system

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 Q4035240)