[Agda] Fwd: Course: Introduction to Dependently Typed Programming using Agda

[Joseph Fredette]

Any chance lecture notes will be made available/video will be taken?

/Joe

On Mon, Jan 17, 2011 at 11:35 AM, Conor McBride
<conor at strictlypositive.org>wrote:

> Folks
>
> For completeness, I thought I'd repost here.
>
> Conor
>
>
>  ---------- Forwarded message ----------
>>
>> LFCS, University of Edinburgh presents:
>>
>> ****      Introduction to Dependently Typed Programming using Agda  ****
>> by Conor McBride, MSP, University of Strathclyde
>>
>> More information available at:
>> http://homepages.inf.ed.ac.uk/s0894694/agda-course/
>>
>> Location
>> =======
>> School of Informatics, University of Edinburgh, Scotland.
>>
>> Description
>> =========
>> Types guarantee properties of runtime behaviour. Dependent types give
>> stronger guarantees based on runtime values. In this course we shall
>> introduce dependently typed programming using the Agda programming
>> language.
>>
>> The course consists of five weekly afternoon sessions with lectures
>> and hands-on laboratories. Exercises between sessions will be set.
>> Refreshments will be provided during breaks.
>>
>> Prerequisites
>> ==========
>>  This is a research level course. We assume basic familiarity with a
>> functional programming language, such as Haskell or ML, in particular
>> pattern matching and higher-order functions like map.
>>
>>
>>
>> This course is supported by the Scottish Informatics and Computer
>> Science Alliance.
>>
>> Dates
>> =====
>> Mondays, January 31, 2011 - February 28, 2011.
>>
>> Registration
>> ==========
>>  Please let us know you are coming so we can prepare accordingly:
>> Ohad Kammar  <  ohad.kammar      at     ed.ac.uk>
>>
>> More information available at:
>> ---------------------------------------
>>  http://homepages.inf.ed.ac.uk/s0894694/agda-course/
>>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110117/6bab0671/attachment.html