[Haskell-cafe] [Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands

Atze Dijkstra atze at uu.nl
Mon Dec 8 09:04:13 UTC 2014

          =========== AFP Summerschool 2015 ===========

Applied Functional Programming (AFP) Summerschool
July 6-17, 2015
Utrecht University, Department of Information and Computing Sciences
Utrecht, The Netherlands

Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell
AFP website : http://www.cs.uu.nl/wiki/USCS
contact     : Uscs-afp at lists.science.uu.nl


The 2015 edition of the Applied Functional Programming (AFP)
Summerschool in Utrecht, Netherlands will be held from 6-17 July 2015.
The summerschool teaches Haskell on both beginners and advanced levels
via lectures and lab exercises. More info can be found via the
references above, included here is a summary from the summerschool info:

``Typed functional programming in Haskell allows for the development of
compact programs in minimal time and with maximal guarantees about
robustness and correctness. The course introduces Haskell as well as its
theoretical underpinnings such as typed lambda calculus, and
Damas-Milner type inference. There is ample opportunity to put this all
in practice during lab sessions.

Typed functional programming languages allow for the development of
robust, concise programs in a short amount of time. The key advantages
are higher-order functions as an abstraction mechanism, and an advanced
type system for safety and reusability. This course introduces Haskell,
a state-of-the-art functional programming language, together with some
of its theoretical background, such as typed lambda calculi, referential
transparency, Damas-Milner type inference, type level programming, and
functional design patterns.

We will combine this with applications of functional programming,
concentrating on topics such as language processing, building graphical
user interfaces, networking, databases, and programming for the web. The
goal of the course is not just to teach the programming language and
underlying theory, but also to learn about the Haskell community and to
get hands-on experience by doing lab exercises or a Haskell project of
your own.''


This year is somewhat special in that the Tour de France starts in
Utrecht the weekend before the start of the summerschool. It is an
opportunity for enjoying the related festivities. It also implies that
housing may be more difficult the weekend before the summerschool,
something to keep in mind when you wait with registration until the


                - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \
Tel.: +31-30-2534118/1454 | WWW  : http://www.cs.uu.nl/~atze . /--|  \
Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... /   |___\

Haskell mailing list
Haskell at haskell.org

More information about the Haskell-Cafe mailing list