A theory of mixin modules: basic and derived operators
From MaRDI portal
Publication:4236216
DOI10.1017/S0960129598002576zbMath0918.68008WikidataQ128253374 ScholiaQ128253374MaRDI QIDQ4236216
Publication date: 22 April 1999
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)
Related Items (2)
A calculus of open modules: call-by-need strategy and confluence ⋮ Locales: a module system for mathematical theories
This page was built for publication: A theory of mixin modules: basic and derived operators