zbMath0616.68012MaRDI QIDQ4725715
Eric G. Wagner
Publication date: 1986
zbMATH Keywords
coproducts; declarations; assignments; mediating morphisms; pushout constructions; RECORD; VARIANT
Mathematics Subject Classification ID
68P05: Data structures
18B99: Special categories
68N01: General topics in the theory of software
Related Items