|
119
|
Views: A way for pattern matching to cohabit with data abstraction
– Philip Wadler
- 1986
|
|
13
|
Statically Checkable Pattern Abstractions
– Manuel Fähndrich, John Boyland
- 1997
|
|
8
|
Context Patterns in Haskell
– Markus Mohnen
- 1996
|
|
5
|
Tree Transformations, Functional Languages, and Attribute Grammars
– R Wilhelm
- 1990
|
|
12
|
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language, Version 1.2
– al
- 1992
|
|
3
|
Pattern Matching in a Functional Transformational Language using Treeparsing
– C Ferdinand
- 1990
|
|
3
|
Decidable Higher-order Uni��cation Problems
– C Prehofer
- 1994
|
|
3
|
Higher order unication revisited: Complete sets of tranformations
– W Snyder, J Gallier
- 1989
|
|
2
|
A Combinatory Approach to Higher-Order EUni��cation
– D J Dougherty, P Johann
- 1995
|
|
2
|
The Undecidability of the Second-Order Uni��cation Problem
– W D Goldfarb
- 1981
|
|
2
|
A Functional Language for the Speci��cation of Complex Tree Transformations
– R Heckmann
- 1988
|
|
2
|
A Novel Representation of Lists and Its Apllication to the Function ireversej
– R J M Huges
- 1986
|
|
266
|
The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics
– Henk Barendregt
- 1985
|
|
515
|
D.: Implementation of Functional Programming Languages
– Peyton Jones, S Lester
- 1987
|
|
169
|
A unication algorithm for typed calculus
– G Huet
- 1975
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G P Huet, B Lang
- 1978
|
|
11
|
Active Patterns
– Martin Erwig
- 1996
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
32
|
Union Types for Semistructured Data
– Peter Buneman, Benjamin Pierce
- 1999
|
