[1] J. Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21(8):613--641, August 1978.
Дж. Бэкус. Может ли программирование быть освобождено от стиля фон Неймана? Функциональный стиль и его алгебра программ. CACM, 21(8):613--641, август 1978.
[2] H.B. Curry and R. Feys. Combinatory Logic. North-Holland Pub. Co., Amsterdam, 1958.
Х.Б. Карри и Р. Фейс. Комбинаторная логика. North-Holland Pub. Co., Амстердам, 1958.
[3] L. Damas and R. Milner. Principal type schemes for functional programs. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, pages 207--212, Albuquerque, N.M., January 1982.
Л. Дамас и Р. Милнер. Основные схемы типов для функциональных программ. В трудах 9-го симпозиума ACM по принципам языков программирования, стр. 207--212, Альбукерк, N.M., январь 1982.
[4] K-F. Faxen A static semantics for Haskell Journal of Functional Programming, 2002.
К-Ф. Факсен. Статическая семантика для Haskell. Журнал "Функциональное программирование", 2002.
[5] J.R. Hindley. The principal type scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29--60, December 1969.
Дж.Р. Хиндли. Основные схемы типов объектов в комбинаторной логике. Переговоры Американского математического общества, 146:29--60, декабрь 1969.
[6] P. Hudak, J. Fasel, and J. Peterson. A gentle introduction to Haskell. Technical Report YALEU/DCS/RR-901, Yale University, May 1996.
П. Худак, Дж. Фасел и Дж. Петерсон. Краткий вводный курс в Haskell. Техническое описание YALEU/DCS/RR-901, Йельский университет, май 1996.
[7] Mark P. Jones. A system of constructor classes: overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), January 1995.
Марк П. Джонс. Система классов конструкторов: перегрузка и неявный полиморфизм высокого порядка. Журнал "Функциональное программирование", 5(1), январь 1995.
[8] Mark P. Jones. Typing Haskell in Haskell. Haskell Workshop, Paris, October 1999.
Марк П. Джонс. Типизация Haskell в Haskell. Семинар по Haskell, Париж, октябрь 1999.
[9] P. Penfield, Jr. Principal values and branch cuts in complex APL. In APL '81 Conference Proceedings, pages 248--256, San Francisco, September 1981.
П. Пенфилд, младший. Главные значения и ветви в сложном APL. В трудах конференции по APL '81, стр. 248--256, Сан-Франциско, сентябрь 1981.
[10] S.L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall International, Englewood Cliffs, New Jersey, 1987
С.Л. Пейтон Джонс. Реализация языков функционального программирования. Prentice-Hall International, Englewood Cliffs, Нью-Джерси, 1987.
[11] Unicode Consortium. The Unicode Standard, Version 3.0. Addison Wesley, Reading, MA, 2000.
Консорциум Unicode. Стандарт Unicode, версия 3.0. Addison Wesley, Reading, MA, 2000.
[12] P. Wadler and S. Blott. How to make ad hoc polymorphism less ad hoc. In Proceedings of the 16th ACM Symposium on Principles of Programming Languages, pages 60--76, Austin, Texas, January 1989.
П. Уодлер и С. Блотт. Как сделать специальный полиморфизм менее специальным. В трудах 16-го симпозиума ACM по принципам языков программирования, стр. 60--76, Austin, Техас, январь 1989.