This page in English  Lehr- und Forschungsgebiet Informatik II  Fachgruppe Informatik RWTH

Grundlagen der Funktionalen Programmierung

(V4 + Ü2, WS 2002/2003)

LuFG Informatik II
Art Termine/OrtBeginnVeranstalter
V4Mi 10:00 - 11:30 AH II16. 10. Prof. Dr. Jürgen Giesl
 Fr 10:00 - 11:30 AH II18. 10. 
Ü2Do 14:00 - 15:30 AH I24. 10. Prof. Dr. Jürgen Giesl, René Thiemann



Inhalt

Die Vorlesung behandelt die Grundlagen funktionaler Programmiersprachen. Neben einer Einführung in das funktionale Programmieren mit der Sprache Haskell werden Modelle für die Semantik und die Implementierung funktionaler Sprachen vorgestellt. Hierbei wird auch auf Verfahren zur Typüberprüfung und -inferenz sowie auf Techniken zur Optimierung funktionaler Programme eingegangen.

Contents

The course gives an introduction to functional programming using the language Haskell. Moreover, we will discuss models for the semantics and the implementation of functional languages. This also includes techniques for type checking and type inference as well as methods for the optimization of functional programs.

Language

The course is given in English.

Weitere Details

Aktuelle Informationen und weitere Details finden Sie auf der englischen Seite zur Vorlesung.

Literatur


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Last modified: Fri Feb 21 14:39:33 CET 2003 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen