 | 2002 |
|---|
| 12 |       | Guy Cousineau:
Tilings as a programming exercise.
Theor. Comput. Sci. 281(1-2): 207-217 (2002) |
| 1998 |
|---|
| 11 |  | Guy Cousineau,
Michel Mauny:
The functional approach to programming.
Cambridge University Press 1998: I-XIV, 1-445 |
| 1997 |
|---|
| 10 | | Guy Cousineau:
Functional Programming and Geometry.
PLILP 1997: 309-322 |
| 1987 |
|---|
| 9 | | Guy Cousineau,
Pierre-Louis Curien,
Michel Mauny:
The Categorical Abstract Machine.
Sci. Comput. Program. 8(2): 173-202 (1987) |
| 1986 |
|---|
| 8 | | Guy Cousineau,
Pierre-Louis Curien,
Bernard Robinet:
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Springer 1986 |
| 1985 |
|---|
| 7 | | Guy Cousineau,
Pierre-Louis Curien,
Michel Mauny,
Ascánder Suárez:
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.
Combinators and Functional Programming Languages 1985: 85-103 |
| 6 | | Guy Cousineau,
Pierre-Louis Curien,
Michel Mauny:
The Categorical Abstract Machine.
FPCA 1985: 50-64 |
| 1980 |
|---|
| 5 | | Patrice Enjalbert,
Guy Cousineau:
Three Semantics: A Framework for Studying Program Structures and Program Logics.
IFIP Congress 1980: 77-82 |
| 4 | | Guy Cousineau:
An Algebraic Definition for Control Structures.
Theor. Comput. Sci. 12: 175-192 (1980) |
| 1979 |
|---|
| 3 | | Guy Cousineau,
Patrice Enjalbert:
Program Equivalence and Provability.
MFCS 1979: 237-245 |
| 2 | | Guy Cousineau,
Maurice Nivat:
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts.
MFCS 1979: 567-580 |
| 1978 |
|---|
| 1 | | Jean-Michel Autebert,
Luc Boasson,
Guy Cousineau:
A Note on 1-Locally Linear Languages
Information and Control 37(1): 1-4 (1978) |
Data released under the ODC-BY 1.0 license — See also our legal information page