Palao Gostanza, Pedro; Peña, Ricardo; Núñez, Manuel A new look at pattern matching in abstract data types. (English) Zbl 1345.68068 Wexelblat, Richard L. (ed.), Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP ’96, Philadelphia, PA, USA, May 24–26, 1996. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-770-7). ACM SIGPLAN Notices 31, No. 6, 110-121 (1996). MSC: 68N18 Functional programming and lambda calculus 68Q55 Semantics in the theory of computing 68Q65 Abstract data types; algebraic specification PDF BibTeX XML Cite \textit{P. Palao Gostanza} et al., in: Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP '96, Philadelphia, PA, USA, May 24--26, 1996. New York, NY: Association for Computing Machinery (ACM). 110--121 (1996; Zbl 1345.68068) Full Text: DOI