2002 |
11 | EE | Guy Cousineau:
Tilings as a programming exercise.
Theor. Comput. Sci. 281(1-2): 207-217 (2002) |
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) |