| Россия, Петерубрг, СПБ-ГПУ, 1998 |
Инспектор
Вы можете этот курс.
Язык и библиотеки Haskell 98
:Язык и библиотеки Haskell 98
: Литература по курсу
Опубликован: 19.09.2008 | Уровень: специалист | Доступ: платный
- 1.Может ли программирование быть освобождено от стиля фон Неймана? Функциональный стиль и его алгебра программCACM, 21(8):613--641, август 1978
- 2.Комбинаторная логикаNorth-Holland Pub. Co., Амстердам, 1958
- 3.Основные схемы типов для функциональных программВ трудах 9-го симпозиума ACM по принципам языков программирования, стр. 207--212, Альбукерк, N.M., январь 1982
- 4.Статическая семантика для HaskellЖурнал «Функциональное программирование», 2002
- 5.Основные схемы типов объектов в комбинаторной логикеПереговоры Американского математического общества, 146:29-60, декабрь 1969
- 6.Краткий вводный курс в HaskellТехническое описание YALEU/DCS/RR-901, Йельский университет, май 1996
- 7.Система классов конструкторов: перегрузка и неявный полиморфизм высокого порядкаЖурнал «Функциональное программирование», 5(1), январь 1995
- 8.Типизация Haskell в HaskellСеминар по Haskell, Париж, октябрь 1999
- 9.Главные значения и ветви в сложном APLВ трудах конференции по APL '81, стр. 248--256, Сан-Франциско, сентябрь 1981
- 10.Реализация языков функционального программированияPrentice-Hall International, Englewood Cliffs, Нью-Джерси, 1987
- 11.Консорциум UnicodeСтандарт Unicode, версия 3.0. Addison Wesley, Reading, MA, 2000
- 12.Как сделать специальный полиморфизм менее специальнымВ трудах 16-го симпозиума ACM по принципам языков программирования, стр. 60-76, Austin, Техас, январь 1989
