Active patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1268, Issue , 1997, Pages 21-40

  Erwig, Martin ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SEMANTICS;

DATA TYPE; FUNCTION DEFINITIONS;

ABSTRACT DATA TYPES;

EID: 84957715198     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63237-9_17     Document Type: Conference Paper

References (12)

1. AR92[] W. E. Aitken and J. H. Reppy. Abstract Value Constructors. In ACM Workshop on ML and its Applications, pages 1-11, 1992
2. [BC93] F. W. Burton and R. D. Cameron. Pattern Matching with Abstract Data Types. Journal of Functional Programming, 3(2):171-190, 1993.
3. Bur82[] F. W. Burton. An Efficient Functional Implementation of FIFO queues. Information Processing Letters, 14:205-206, 1982.
4. Chi92[] W. N. Chin. Safe Fusion of Functional Expressions. In ACM Conf. on Lisp and Functional Programming, pages 11-20, 1992.
5. Erw97[] M. Erwig. Functional Programming with Graphs. In 2nd ACM SIGPLAN Int. Conf. on Functional Programming, 1997. To appear.
6. Moh96[] M. Mohnen. Context Patterns in Haskell. In 8th Int. Workshop on Implementation of Functional Languages, LNCS (this volume), 1996.
7. [MTH90] R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
8. [PGPN96] P. Palao Gonstanza, R. Pella, and M. NIInez. A New Look at Pattern Matching in Abstract Data Types. In 1st ACM SIGPLAN Int. Conf. on Functional Programming, pages 110-121, 1996.
9. Tho90[] S. Thompson. Lawful Functions and Program Verification in Miranda. Science of Computer Programming, 13:181-218, 1990.
10. Tur85[] D. A. Turner. Miranda: A Non-strict Functional Language with Polymor- phic Types. In Conf. on Functional Programming and Computer Architecture, LNCS 201, pages 1-16, 1985.
11. Wad87[] P. Wadler. Views: A Way for Pattern Matching to Cohabit with Data Abstraction. In ACM Symp. on Principles of Programming Languages, pages 307-313, 1987.
12. Wad90[] P. Wadler. Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science, 73:231-284, 1990.