Quantcast

Call for participation: Utrecht Summer School

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Call for participation: Utrecht Summer School

Wouter Swierstra-2

                         Call for Participation

            SUMMER SCHOOL ON APPLIED FUNCTIONAL PROGRAMMING

              Utrecht, the Netherlands, 21-25 August 2017
                         http://www.afp.school

## ABOUT

The Applied Functional Programming summer school has been running for
almost ten years. We aim to educate aspiring Haskell programmers
beyond the basic material covered by many textbooks.

The lectures will cover several more advanced topics regarding the
theory and practice of Haskell programming, including topics such as:

   * lambda calculus;
   * monads and monad transformers;
   * lazy evaluation;
   * generalized algebraic data types;
   * type families and type-level programming;
   * concurrency and parallelism.

The summer school consists of a mix of lectures, labs, and a busy
social program.

## LECTURERS

Utrecht staff:
* Johan Jeuring
* Doaitse Swierstra
* Wouter Swierstra

Guest lectures:
* Simon Marlow (Concurrency and parallelism)
* Luite Stegeman (GHCJS)

## PREREQUISITES

We expect students to have a basic familiarity with Haskell
already. You should be able to write recursive functions over
algebraic data types, such as lists and trees. There is a great deal
of material readily available that covers this material. If you’ve
already started learning Haskell and are looking to take your
functional programming skills to the next level, this is the course
for you.

## DATES

Registration deadline: 1 August, 2017
School:                21-25 August

## COSTS

€1700 - Housing and registration
€1500 - Registration only

We offer a €1000 discount for students and staff members affiliated with
a university.

## FURTHER INFORMATION

Further information, including instructions on how to register, is
available on our website:

                         http://www.afp.school
_______________________________________________
Beginners mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
Loading...