Computer Science: Applied Functional Programming
Utrecht University
Faculty of Science (UU)
Course code: H9
Advanced bachelor level
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, and functional design patterns.
We will quickly move on to 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 only to teach the programming language, but to learn about the Haskell community and to get hands-on experience by developing a project using Haskell in a team.
Video: Utrecht Summer Schools in Science 2009
This summer school is held under the auspices of the Graduate School of Natural Sciences.
» Download the day-to-day programme (PDF)
COURSE DIRECTOR
Dr. Andres Löh
LECTURERS
Prof. Dr. S. Doaitse Swierstra, Dr. A. Löh
LOCATION
- Utrecht, The Netherlands
TARGET GROUP
Advanced bachelors / beginning masters with an interest in writing disciplined, robust programs. Knowledge of functional programming or Haskell in particular may be helpful, but is by no means expected or necessary. All that is required is curiosity and an open mind. Applicants should be proficient in English and will be subjected to a selection procedure. This course is also well-suited as an introduction to or preparation for our MSc program Software Technology. (Maximum number of participants: 25.)
COURSE AIM
Participants will be given the opportunity to learn a modern and new programming paradigm. The acquired knowledge will not only enable participants to lead or contribute to programming projects that make use of Haskell or related languages – it will also enable them to write better programs in any programming language, as the patterns and abstractions being taught are widely applicable.
PERIOD
16-08-2010 - 27-08-2010 (2 weeks)
CREDITS
3.0 ECTS credits + Certificate of Attendance
FEE
• € 855 - Course + course materials + housing + deposit
Applications (to be sent to the contact person below) should include:
- Letter of motivation,
- Curriculum vitae,
- Two letters of recommendation,
- Recent set of transcripts (marks/grades) (PDF or original transcript) in English, German, French (or in Dutch for Dutch students).
Information about the fees for Dutch students can be found
here.
Additional information about the application procedure can be found
here SCHOLARSHIPS
A limited number of scholarships in the form of (partial) fee waivers and/or accommodation intended for talented students from developing countries is available. Talented students from other countries can also apply. There are no travel grants. If you seek financial support you should state your request (on a separate sheet) by describing the reasons for applying to this summer school and how your participation will assist you in future studies and your career. You should motivate your financial situation and other means you have available for financing your participation to this summer school. The applications for scholarships will undergo a selection procedure.
Students accepted for the Master’s program in Software Technology are exempted from paying the Summer School fee.
MORE INFORMATION
Corine Jolles
Department of Information and Computing Sciences
Centrumgebouw Noord
Padualaan 14
3584 CH Utrecht
The Netherlands
T: +31 30 253 9251
F: +31 30 253 2804
E: uscs2010@cs.uu.nl
REGISTRATION
Deadline for registration: 01-05-2010
Course fully booked
