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). Cited in 1 Document MSC: 68N18 Functional programming and lambda calculus 68Q55 Semantics in the theory of computing 68Q65 Abstract data types; algebraic specification Citations:Zbl 0705.68078; Zbl 1345.68040 PDFBibTeX XMLCite \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