Parametrized data types do not need highly constrained parameters
From MaRDI portal
Publication:4742295
DOI10.1016/S0019-9958(82)80026-0zbMath0505.68013OpenAlexW1984190288MaRDI QIDQ4742295
Michael A. Arbib, Ernest G. Manes
Publication date: 1982
Published in: Information and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0019-9958(82)80026-0
Related Items
Algebraic-coalgebraic specification in CoCASL, Unnamed Item, From Grammars and Automata to Algebras and Coalgebras, Structural induction and coinduction in a fibrational setting, Swinging types=functions+relations+transition systems, Induction, Coinduction, and Adjoints, A logic of implications in algebra and coalgebra, Universal coalgebra: A theory of systems