SluitenHelpPrint
Switch to English
Cursus: INFOAFP
INFOAFP
Advanced functional programming
Cursus informatieRooster
CursuscodeINFOAFP
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Betawetenschappen; Graduate School of Natural Sciences;
Contactpersoondr. A. Dijkstra
Telefoon+31 30 2534118
E-mailA.Dijkstra@uu.nl
Docenten
Docent
dr. A. Dijkstra
Overige cursussen docent
Docent
dr. W.S. Swierstra
Overige cursussen docent
Blok
1  (31-08-2015 t/m 06-11-2015)
Aanvangsblok
1
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 01-06-2015 t/m 28-06-2015
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
Na-inschrijvingJa
Na-inschrijving geopendvanaf 17-08-2015 t/m 18-08-2015
WachtlijstJa
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
At the end of the course, the student will
  • be able to use a wide range of Haskell tools and libraries
  • know how to structure and write large programs
  • be proficient in the theoretical underpinnings of FP such as lambda calculus and type systems
  • be able to understand formal texts and research papers on FP language concepts
  • be familiar with current FP research


     
Inhoud
This course builds upon knowledge gained in the introductory courses on functional programming and languages and compilers. Using Haskell as our language of choice, several advanced functional programming techniques, patterns, libraries and tools are treated. One goal of this course is to equip you with sufficient knowledge in order to participate in research projects in this field. Some of the topics that the course covers are: development tools, data structures, monads, type families, existential types and higher rank polymorphism.

http://www.cs.uu.nl/education/vak/INFOAFP
Ingangseisen
Je moet een geldige toelatingsbeschikking hebben
Verplicht materiaal
-
Aanbevolen materiaal
Software
Haskell Platform 2014 (laptop) https://www.haskell.org/downloads
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Practicum (Verplicht)

Toetsen
Eindresultaat
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English