Functional Programming

Course name

Code

CS2211O2

Class	Computer Science, 2006 - 2009					Package	2
Level	Undergraduate	Year	2	Semester	2	Status	Optional

Hours per week				Total hours per semester	Total hours of individual work	Credits	Evaluation type	Teaching language
C	S	L	Pr
2	0	2	0	56	94	5	E	ro

Taught by	Academic and scientific title, name
	Professor, PhD, Gheorghe Grigoraş

Required courses

Objectives	understanding of the theory and practice of functional programming using the modern functional language Haskell. the ability to solve problems in and using functional programming the ability to utilise mathematics and formal methods
General thematics	The course covers the following subjects: The Hugs system, Type information, Defining functions, List comprehensions, Recursive functions, Higher-order functions, Interactive programs, Functional parsers, Defining types, Lazy evaluation, Reasoning about programs.
Seminary / Laboratory thematics	The Hugs system, Programming in Haskell, Defining functions, Recursive functions, Higher-order functions, Interactive programs, 2 individual projects.
Teaching methods	Transparences and video projector.

Bibliography

Richard Bird: Introduction to Functional Programming using Haskell, Prentice Hall, 1998.

Graham Huton, Programming in Haskell, http://www.cs.nott.ac.uk/~gmh/.

Limbajul Haskell: www.haskell.com.

Evaluation	conditions	Laboratory Activity (LA), Final Exam (FE)
	criterias	LA ≥ 5, FE ≥ 5
	modes	LA: each project is evaluated with a mark between 1 and 10. FE: the final exam covers the lecture notes and is evaluated with a mark between 1 and 10.
	formula	Final Mark = 50% LA +50% FE

Faculty of
Computer Science