2001 by Ute Schmid

Funktionale Programmierung
Functional Programming

Ute Schmid

Institut für Informatik, FB Mathematik-Informatik, Universität Osnabrück

Vorlesung im Wintersemester 2001/2002
(Lecture in winter term 01/02)

Kategorie: Informatik / Category: Computer Science

Course Language: material mostly English, presentation mostly German

Themen: Einführung in Konzepte der funktionalen Programmierung am Beispiel der Programmiersprache ML. Funktionen, Rekursion, Currying, Funktionen höherer Ordnung, Bindung, Evaluation, Lambda-Kalkül, Typ-Inferenz und Typ-Checking, Optimierung und Programmtransformation, Fixpunktsemantik, Theorembeweis und Verifikation.
Empf. Semester: 3. Sem. und höher (Voraussetzung Info A, hilfreich Info B und D)

Topics: Introduction to concepts of functional programming based on the programming language ML. Functions, recursion, currying, higher order functions (functionals), binding, evaluation, lambda calculus, type inferece and type checking, optimization and program transformation, fixpoint semantics, theorem proving and verification.
Proposed for students in 3rd or higher semester (prerequisite Info A, helpful Info B and D)


Hours and Contact Online Information Credits Schedule and Syllabus Assignements

Hours and Contact

Online Information

Credits

Schedule and Syllabus

[Slides/Scriptum (pdf)] [Slides/Scriptum (ps)]

Special Topics

Assignments

Working with ML

Top of page