Une charpente de semi-unification
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 2, pp. 173-226. 
@article{ITA_1988__22_2_173_0,
     author = {Durieux, J.-L. and Saint-James, E.},
     title = {Une charpente de semi-unification},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {173--226},
     publisher = {EDP-Sciences},
     volume = {22},
     number = {2},
     year = {1988},
     mrnumber = {951338},
     zbl = {0645.68047},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1988__22_2_173_0/}
}
TY  - JOUR
AU  - Durieux, J.-L.
AU  - Saint-James, E.
TI  - Une charpente de semi-unification
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1988
SP  - 173
EP  - 226
VL  - 22
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1988__22_2_173_0/
LA  - fr
ID  - ITA_1988__22_2_173_0
ER  - 
%0 Journal Article
%A Durieux, J.-L.
%A Saint-James, E.
%T Une charpente de semi-unification
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1988
%P 173-226
%V 22
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1988__22_2_173_0/
%G fr
%F ITA_1988__22_2_173_0
Durieux, J.-L.; Saint-James, E. Une charpente de semi-unification. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 2, pp. 173-226. http://www.numdam.org/item/ITA_1988__22_2_173_0/

1. M. A. Arbib et E. G. Manes, Arrows, Structures, and Functors - The Categorical Imperative, Academic Press Inc, 1975. | MR | Zbl

2. R. S. Bird, The Promotion and Accumulation Strategies in Transformational Programming, A.C.M.-T.O.P.L.A.S., vol. 6, n° 4, octobre 1984, p. 487-504. | Zbl

3. B. Courcelle et F. Lavandier, Définitions récursives par cas, R.A.I.R.O. Informatique théorique, vol. 18, n° 2, 1983, p. 91-129. | Numdam | MR | Zbl

4. J. Darlington, Program Transformations, Functional Programming and its applications, Henderson and Turner, Cambridge University Press, 1982.

5. J.-L. Durieux, Interprétation du langage PLASMA, Actes 10e École de Printemps, « Compilation et Interprétation », LITP 83.17, Paris, mars 1982.

6. P. Emanuelson et A. Haraldsson, On Compiling Embedded Languages in LISP, Conf. Record LISP-Conference 1980, p. 208-215.

7. P. Emanuelson, Systematic Specification and Compilation of Patterns, Tech Rep. Software System Research Center, Linköping University, 1982.

8. D. Eppstein, A Heuristic Approach to Program Inversion, Actes I.J.C.A.I. 1985, p. 219-221.

9. J. Foisseau, R. Jacquart, M. Lemaître, M. Lemoine et G. Zanon, Le système SPRAC : expression et gestion de spécifications, d'algorithmes et de représentations, TSI, vol 4, n° 2, p. 237-254.

10. J. Heering, Partial Evaluation and Ω-Completeness of Algebraic Specifications, Esprit Project GIPE, Deliverable 5, D5.A1, novembre 1985. | MR | Zbl

11. R. E. Korf, Inversion of Applicative Programs, Actes I.J.C.A.I. 1981, Vancouver, p. 1007-1009.

12. A. Pettorossi, Transformation Strategies for Deriving On Line Programs, Actes CAAP86, Nice, mars 1986, Springer-LNCS, n° 214, p. 127-141. | MR | Zbl

13. E. Saint-James, Fonctionnalité et filtrage : nouveaux algorithmes en logique combinatoire typée, Thèse 3e Cycle, LITP 84.39, Paris, juin 1982.

14. J. E. Stoy, Mathematical Aspects of Functional Programming , dans « Functional Programming and its Applications », p. 217-252, Darlington, Henderson and Turner editors, Cambridge University Press, 1982.

15. D. Turner, Recursion Equations as a Programming Language, dans « Functional Programming and its Applications », p. 1-28, Darlington, Henderson et Turner ed., Cambridge University Press, 1982.

16. M. Wand, Continuation Based Program Transformation Strategies, J.A.C.M., vol. 27, n° 1, 1980p. 164-180. | MR | Zbl

17. D. S. Wile, Program Developments : Formal Explanations of Implementations, C.A.C.M., vol. 26, n° 11, 1983, p. 902-911.