Guy Cousineau

Publication Activity (10 Years)

Years Active: 1978-2002
Publications (10 Years): 0

Publications

Guy Cousineau
Tilings as a programming exercise. Theor. Comput. Sci. 281 (1-2) (2002)
Guy Cousineau
Functional Programming and Geometry. PLILP (1997)
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
The Categorical Abstract Machine. Sci. Comput. Program. 8 (2) (1987)
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)
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
The Categorical Abstract Machine. FPCA (1985)
Guy Cousineau
Session Discussion. Formal Description of Programming Concepts (1982)
Guy Cousineau
Session Discussion. Formal Description of Programming Concepts (1982)
Guy Cousineau
An Algebraic Definition for Control Structures. Theor. Comput. Sci. 12 (1980)
Patrice Enjalbert, Guy Cousineau
Three Semantics: A Framework for Studying Program Structures and Program Logics. IFIP Congress (1980)
Guy Cousineau, Maurice Nivat
On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. MFCS (1979)
Guy Cousineau, Patrice Enjalbert
Program Equivalence and Provability. MFCS (1979)
Jean-Michel Autebert, Luc Boasson, Guy Cousineau
A Note on 1-Locally Linear Languages Inf. Control. 37 (1) (1978)