Введение в Agda

A session at FProg 2012-07

Thursday 12th July, 2012

8:00pm to 9:00pm (MMT)

С точки зрения программиста Agda представляет собой язык с зависимой системой типов и Haskellеподобным синтаксисом. С точки зрения математика — это система проверки доказательств, отдающая предпочтение прямому манипулированию proof-термами, а не тактикам. Доклад рассматривает основные особенности и идиомы системы Agda на примерах, широко используемых в дискретной математике.

От слушателя ожидаются базовые знания функционального программирования и дискретной математики на уровне первого курса университета, хотя бы поверхностное знакомство с зависимыми типами.

About the speaker

This person is speaking at this event.
Jan Malakhovski

math, logic, security, agda, haskell, *nix bio from Twitter

Coverage of this session

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Time 8:00pm9:00pm MMT

Date Thu 12th July 2012

Short URL

lanyrd.com/swpxb

Official event site

fprog.ru

View the schedule

Share

See something wrong?

Report an issue with this session