From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The Functional Approach to Programming

G. Cousineau, и M. Mauny. Cambridge University Press, English Ed издание, (октября 1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

An Algebraic Definition for Control Structures.G. Cousineau. Theor. Comput. Sci., (1980)Tilings as a programming exercise.G. Cousineau. Theor. Comput. Sci., 281 (1-2): 207-217 (2002)Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.G. Cousineau, P. Curien, M. Mauny, и A. Suárez. Combinators and Functional Programming Languages, том 242 из Lecture Notes in Computer Science, стр. 85-103. Springer, (1985)Functional Programming and Geometry.G. Cousineau. PLILP, том 1292 из Lecture Notes in Computer Science, стр. 309-322. Springer, (1997)Program Equivalence and Provability.G. Cousineau, и P. Enjalbert. MFCS, том 74 из Lecture Notes in Computer Science, стр. 237-245. Springer, (1979)The Categorical Abstract Machine.G. Cousineau, P. Curien, и M. Mauny. Sci. Comput. Program., 8 (2): 173-202 (1987)The Categorical Abstract Machine.G. Cousineau, P. Curien, и M. Mauny. FPCA, том 201 из Lecture Notes in Computer Science, стр. 50-64. Springer, (1985)Three Semantics: A Framework for Studying Program Structures and Program Logics.P. Enjalbert, и G. Cousineau. IFIP Congress, стр. 77-82. (1980)The Functional Approach to ProgrammingG. Cousineau, и M. Mauny. Cambridge University Press, English Ed издание, (октября 1998)