×

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
PDFBibTeX XMLCite
Full Text: DOI