scientific article; zbMATH DE number 92598

zbMATH Open0762.68043MaRDI QIDQ4018064FDOQ4018064

Authors: Barney P. Hilken, David Rydeheard 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Categories as type classes in the Scala algebra system
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantically Inactive Multiplicatives and Words as Types
• Title not available (Why is that?)
• 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)