Guy Cousineau

According to our database, Guy Cousineau authored at least 11 papers between 1978 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Tilings as a programming exercise.

Guy Cousineau

Theor. Comput. Sci., 2002

1998

The functional approach to programming.

Guy Cousineau, Michel Mauny

Cambridge University Press, ISBN: 978-0-521-57183-8, 1998

1997

Functional Programming and Geometry.

Guy Cousineau

Proceedings of the Programming Languages: Implementations, 1997

1987

The Categorical Abstract Machine.

Guy Cousineau, Pierre-Louis Curien, Michel Mauny

Sci. Comput. Program., 1987

1985

Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.

Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez

Proceedings of the Combinators and Functional Programming Languages, 1985

1982

Session Discussion.

Guy Cousineau

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1980

An Algebraic Definition for Control Structures.

Guy Cousineau

Theor. Comput. Sci., 1980

Three Semantics: A Framework for Studying Program Structures and Program Logics.

Patrice Enjalbert, Guy Cousineau

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts.

Guy Cousineau, Maurice Nivat

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Program Equivalence and Provability.

Guy Cousineau, Patrice Enjalbert

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

A Note on 1-Locally Linear Languages

Jean-Michel Autebert, Luc Boasson, Guy Cousineau

Inf. Control., April, 1978