This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
University of Gothenburg
Functional Programming: continuation course
This course builds upon introductory functional programming, focusing on advanced techniques for designing robust, maintainable, and efficient programs. Students will explore key abstractions like functors and monads to handle effects such as state and I/O in a purely functional manner. The curriculum also covers th…
- Higher education
- Information unavailable
- 18 January 2027
- GÖTEBORG
- Information unavailable
- 50 %
Overview
This course builds upon introductory functional programming, focusing on advanced techniques for designing robust, maintainable, and efficient programs. Students will explore key abstractions like functors and monads to handle effects such as state and I/O in a purely functional manner. The curriculum also covers the design of embedded domain-specific languages (EDSLs), safe concurrency using Software Transactional Memory (STM), and parallel evaluation techniques based on algebraic properties. Significant emphasis is placed on practical skills in functional programming, focusing on property-based testing and equational reasoning to ensure correctness and performance. The course develops the ability to critically assess the trade-offs between abstraction and efficiency in program design.
Admission scores
Entry requirements
The student should have successfully completed: - 7\.5 credits in functional programming - 7\.5 credits in discrete mathematics - 7\.5 credits more in mathematics - 7\.5 credits more in data structures Applicants must prove knowledge of English: English 6/English level 2 or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2027-01-18
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.gu.dit148.86025.20271
- Last checked
- 2026-09-23T10:36:42.164498+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.gu.dit148.86025.20271
- Offering identity in the source
- e.uoh.gu.dit148.86025.20271
- Education-form source code
- HS
- Education code in the source
- DIT148
- Change time according to the source
- 2026-09-11T07:42:37
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.