|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
|
19
|
Efficient Second-Order Matching
– Régis Curien, Zhenyu Qian, Hui Shi
- 1996
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G P Huet, B Lang
- 1978
|
|
14
|
Higher-order Matching for Program Transformation
– Oege De Moor, Ganesh Sittampalam
- 1999
|
|
173
|
A Short Cut to Deforestation
– Andrew Gill, John Launchbury, Simon L Peyton Jones
- 1993
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
120
|
Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5
– Eelco Visser
- 2001
|
|
107
|
A Fold for All Seasons
– Tim Sheard , Leonidas Fegaras
- 1993
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
74
|
Algebra of Programming
– R BIRD, O DE MOOR
- 1997
|
|
8
|
Towards correct, efficient and reusable transformational developments
– B Krieg-Bruckner, J Liu, H Shi, B Wolff
- 1995
|
|
8
|
Pattern Matching for Program Generation: A User Manual
– Ted J. Biggerstaff, Ted J. Biggerstaff
- 1998
|
|
81
|
ASTLOG: A Language for Examining Abstract Syntax Trees
– Roger F. Crew
- 1997
|
|
22
|
More Efficient Bottom-Up Multi-Pattern Matching in Trees
– J. Cai, R. Paige, R. Tarjan
- 1992
|
|
3
|
Towards correct, ecient and reusable transformational developments
– B Krieg-Bruckner, J Liu, H Shi, B Wol
- 1995
|
|
10
|
Tractable and Intractable Second-Order Matching Problems
– Kouichi Hirata, Keizo Yamada, Masateru Harao
- 1999
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
