Функциональное программирование, Глазго 1991: Материалы семинара Глазго 1991 года по функциональному программированию, Порти, остров Скай, 12-14 августа 1991 г.

Группа функционального программирования в Глазго проводила семинар каждое лето с 1988 года. Вся группа, сопровождаемая подборкой колледжей из других учреждений, отступает в приятное шотландское место в течение нескольких дней. Все говорят кратко, повышая когерентность, перекрестное оплодотворение и дух товарищества в нашей работе. Обработки первого семинара были опубликованы в качестве технического отчета. Спрос на это был достаточно велик, чтобы поощрять более широкую публикацию, и последующие процессы были опубликованы на семинарах Springer-Verlag в серии вычислительных вычислений. Это обработки, проведенные 12-14 августа 1991 года в Порти на острове Скай. И предварительно подпишенные пропуты были подготовлены до встречи. Презентации были ограничены короткими пятнадцатью минутами, в которых рассказывалось о необходимости их предмета, и для получения подробной информации о том, как аудитория предшествовало печатному процессу. Документы были затем рецензированы и переписаны, и вы держите окончательные результаты в своих руках. В семинаре этого года появился ряд тем, включая реляционную алгебру и ее применение к проектированию оборудования, частичной оценке и преобразовании программ, методам реализации и анализу строгости. W были особенно рады видеть, что приложения функционального программирования появляются как тема. Одна из сессий была посвящена оживленному обсуждению приложений и была значительно улучшена нашими промышленными участниками. Семинар был организован Кей Дэвисом, Корделией Холл, Рогардтом Холдэлом, Карстеном Келером Холстом, Джоном Хьюзом, Джоном О'Доннеллом и Сатнамом Сингхом из Университета Глазго.

• Издатель: springer
• Год публикации: 1992
• обложка: Soft
• Количество страниц: 363
• Размеры: 16,9 x 24,3 x 2,3 см
• Иллюстрации: viii, 363 с.
• язык: английский
• isbn: 9783540197607