Язык и библиотеки Haskell 98

: Литература по курсу
[+]
Опубликован: 19.09.2008 | Доступ: свободный | Студентов: 658 / 70 | Оценка: 4.50 / 5.00 | Длительность: 21:25:00
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги: derive, haskell, HDL, infix, lisp, monadic, no-op, PAT, qualifier, библиотеки, вычисления, каталоги, компиляторы, компоненты, конструктор типа, лексема, потоки, программирование, редакторы, спецификации, элементы, ядро
  • 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

Вопросы и ответы

вопросов: 0