Guy Cousineau

14 papers B 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2002 J jnl
Tilings as a programming exercise.
Theor. Comput. Sci.
Guy Cousineau
1998 — book
The functional approach to programming.
Guy Cousineau, Michel Mauny
1997 — conf
Functional Programming and Geometry.
PLILP
Guy Cousineau
1987 J jnl
The Categorical Abstract Machine.
Sci. Comput. Program.
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
1986 — ed.
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet
1985 — conf
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
1985 — conf
The Categorical Abstract Machine.
FPCA
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
1982 — conf
Session Discussion.
Formal Description of Programming Concepts
Guy Cousineau
1982 — conf
Session Discussion.
Formal Description of Programming Concepts
Guy Cousineau
1980 J jnl
An Algebraic Definition for Control Structures.
Theor. Comput. Sci.
Guy Cousineau
1980 — conf
Three Semantics: A Framework for Studying Program Structures and Program Logics.
IFIP Congress
Patrice Enjalbert, Guy Cousineau
1979 B conf
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts.
MFCS
Guy Cousineau, Maurice Nivat
1979 B conf
Program Equivalence and Provability.
MFCS
Guy Cousineau, Patrice Enjalbert
1978 J jnl
A Note on 1-Locally Linear Languages
Inf. Control.
Jean-Michel Autebert, Luc Boasson, Guy Cousineau