10 отношения: Agda, Coq, Glasgow Haskell Compiler, Haskell, ML, Просто типизированное лямбда-исчисление, Род (теория типов), Чёрч, Алонзо, Барендрегт, Хенк, 1991 год в науке.
Agda
Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа.
Новый!!: Лямбда-куб и Agda · Узнать больше »
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Новый!!: Лямбда-куб и Coq · Узнать больше »
Glasgow Haskell Compiler
Glasgow Haskell Compiler (Компилятор языка Haskell из Глазго) — один из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.
Новый!!: Лямбда-куб и Glasgow Haskell Compiler · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Лямбда-куб и Haskell · Узнать больше »
ML
ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.
Новый!!: Лямбда-куб и ML · Узнать больше »
Просто типизированное лямбда-исчисление
Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система \lambda^\rightarrow) — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип.
Новый!!: Лямбда-куб и Просто типизированное лямбда-исчисление · Узнать больше »
Род (теория типов)
Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.
Новый!!: Лямбда-куб и Род (теория типов) · Узнать больше »
Чёрч, Алонзо
Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Новый!!: Лямбда-куб и Чёрч, Алонзо · Узнать больше »
Барендрегт, Хенк
Хенк Барендрегт (Хендрик Питер Барендрегт, Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский и, исследователь λ-исчисления и теории типов, автор λ-куба.
Новый!!: Лямбда-куб и Барендрегт, Хенк · Узнать больше »
1991 год в науке
В '''1991''' году были различные научные и технологические события, некоторые из которых представлены ниже.
Новый!!: Лямбда-куб и 1991 год в науке · Узнать больше »