For instance: The Scientific Opinion
About consortium subscription Contacts
(812) 4095364 Non-commercial partnership
St. Petersburg


"Humanities and Science University Journal" №10 (Physical and mathematical, biological and technical science), 2014.

Commutative Diagrams Construction Technology for Functions in Point-Free Style

I. A. Kudryavtseva
Price: 50 руб.
 The author describes the commutative diagrams construction technology of category theory in a point-free style. This style is one of the visual ways to present combinatory
algebra, which is an education part of the “Program algebra” sections on theoretical programming. Moreover, the most important outcome of the obtained methodological
results is the visual method of presenting functions in a point-free style in Haskell APL.
Keywords: function in a point-free style, function composition sections,
combinatory algebra, combinatory library, commutative diagram of category theory, uni fi cation, Haskell APL.
1. Backus, J. Can programming be liberated from the von Neumann style?
Communications of the ACM, 1978, Vol. 21, No. 8, 613–641.
2. Geuvers, H. Introduction to Type Theory. 2008, Uruguay: Alfa Lernet summer
3. Kirpichyov, E. Elements of the functional languages. Practice of the functional
programming, 2009, 3, 83–194.
4. Moskvin, D. Composition sections as the tool of point-free style. Practice of the
functional programming, 2010, 4, 89–105.
5. Moskvin, D. Properties of simply typi fi ed system. 2011, retrieved December 1,
2014, from http://compsciclub.ru/node/1003.
6. Nepeivoda, N.N. Application logic. 1997, Izhevsk: Publishing House of Udmurt
7. Pierce, B. Types and Programming Languages. 2012, Moscow: Lambda Press:
Price: 50 рублей
To order