HELGINS: универсальный язык для написания анализаторов...

Main
Linguistics - Linguistics
HELGINS: универсальный язык для...

HELGINS: универсальный язык для написания анализаторов типов

Конопко К.С.

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Статья рассказывает об особенностях языкоориентированного программирования. Детально рассматривает одну из предметных областей описания языков - систему типов - на примере языка HELGINS

Kategorien:

Linguistics - Linguistics

Jahr:

2007

Sprache:

russian

Seiten:

10

Datei:

PDF, 534 KB

IPFS:

,

russian, 2007

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Шайдуллина Н.И., Бубекова Л.Б. — Синтаксис словосочетания и простого предложения: Пособие для студентов-филологов

Рыбин С.В. — Языки и грамматики

Перчёнок О.В. — Мы все - ''кузнецы'' родного языка

Столяров А.Б. — Введение в язык C++

Бенджамин Пирс — Типы в языках программирования

Пирс Б. — Типы в языках программирования

Столяров Андрей Викторович — Введение в язык Си++

Бенджамин Пирс — Типы в языках программирования

Понятов Д.А. — FORTH Spirit for Babylon

А. В. Столяров — Язык Си и начальное обучение программированию

Терентьев В.М. — Духовное наследие академика М.Р. Федотова

Chailloux Emmanuel, Manoury Pascal, Pagano Bruno. — Разработка программ с помощью Objective Caml

Киященко Л.П. — В поисках исчезающей предметности (очерки о синергетике языка)

Нестеров А.Ю. — Семиотическая схема познания и коммуникации

Окулов С.М. — Решение сложных олимпиадных задач

— Хакер Спец 2006-65

Понятов Д.А. — Форт. Язык и операционная система

Саймон Пейтон Джонс (ред.) — Язык и библиотеки Haskell 98. Исправленное описание

— Язык и библиотеки Haskell 98. Кембридж

Фаст Дж. — Язык тела. Как понять иностранца без слов

Скрипник К.Д. — Семиотика, Книга для студентов

Харпер Р. — Введение в стандартный ML

Ю. С. МАСЛОВ — ВВЕДЕНИЕ В ЯЗЫКОЗНАНИЕ

Владимиров К.И. — Курс лекций по языку программирования C++

Роберт Мекленбург-Robert Mecklenburg, Andy Oram, Steve Talbott — Управление проектами с помощью GNU make-Managing Projects with GNU make 3e

Мызников С.А. (отв. ред.) — Вопросы уралистики 2009. Научный альманах

Аршинов В.И. (отв. ред.) — Онтология и эпистемология синергетики

Тищенко П.Д. (отв. ред.) — Событие и Смысл (Синергетический опыт языка)

Анисов А.М. — Темпоральный универсум и его познание

Харт Г.Л.А — Понятие права

Павловская Т А; Татьяна Александровна Павловская — Среш. Программирование на языке высокого уровня

Гаймакова Б.Д., Макарова С.К., Новикова В.И., Оссовская М.П. — Мастерство эфирного выступления

Дугин А. — Философия традиционализма

[Редкол.: В.М. Аврасин и др.] — Этнос. Культура. Текст: Материалы лингвист. науч. конф., 15 апр. 1999 г.

Илюхина Н.А. (ред.) — Категории в исследовании, описании и преподавании языка

Драгункин А., Образцов А. — В начале было слово. Русское

Камчатнов A.M., Николина Н.А. — Введение в языкознание

Трофимова Г.К. — Русский язык и культура речи: Курс лекций

Am meisten angefragte Begriffe