Journal of Functional Programming 1(2), April 1991. A finestructure of the theory of constructions. Generalized type systems. Propositions-as-types. Acknowledgements.
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell. Краткое содержание: A Preview of the Pretty-printing Library Deriving Functional Programs from Specifications Designing a Sequence Type Implementing Monads Monads for Backtracking Specifying Pretty-printing Implementing Pretty-printing: A Term Representation...
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35. Краткое содержание: Overview Array references Input/output Formal semantics Implementation Other useful combinators Related work Acknowledgements Appendix
Статья. — Бионика интеллекта. — 2007. — № 2 (67). — С. 41–46. В статье предлагается подход к формализации толкового словаря естественного языка. Толковый словарь назван λ-словарём. В λ-словаре словарные статьи имеют зону λ-выражения. λ-выражение используется для соотнесения употребляемого слова к смысловому значению. Текстовая зона толкового словаря в λ-словаре представляется...
Статья. Интернет Университет Информационных Технологий, INTUIT.ru, 2010. — 11 с.
Списки и функциональные выражения.
Поле зрения и поле памяти.
Прагматические добавления и динамическое порождение программ.
Объекты и LISP.
Список литературы.
Комментарии