On the semantics of nested datatypes
From MaRDI portal
Publication:1607121
DOI10.1016/S0020-0190(01)00168-5zbMath0996.68519MaRDI QIDQ1607121
Jeremy Gibbons, Clare E. Martin
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items (2)
Cites Work
This page was built for publication: On the semantics of nested datatypes