Dr. Davood Babazadeh

Guest Lecturer

Contact

Dr. Davood Babazadeh
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.018
Logo

Publications

TUHH Open Research (TORE)

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2009

Courses

Stud.IP
link to course in Stud.IP Studip_icon
Functional Programming (VL)
Subtitle:
This course is part of the module: Functional Programming
Semester:
WiSe 23/24
Course type:
Lecture
Course number:
lv624_w23
Lecturer:
Prof. Dr. Sibylle Renate Schupp, Ole Lübke, Daniel Rashedi
Description:
  • Functions, Currying, Recursive Functions, Polymorphic Functions, Higher-Order Functions
  • Conditional Expressions, Guarded Expressions, Pattern Matching, Lambda Expressions
  • Types (simple, composite), Type Classes, Recursive Types, Algebraic Data Type
  • Type Constructors: Tuples, Lists, Trees, Associative Lists (Dictionaries, Maps)
  • Modules
  • Interactive Programming
  • Lazy Evaluation, Call-by-Value, Strictness
  • Design Recipes
  • Testing (axiom-based, invariant-based, against reference implementation)
  • Reasoning about Programs (equation-based, inductive)
  • Idioms of Functional Programming
  • Haskell Syntax and Semantics
Performance accreditation:
340 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li></ul><br>341 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li><li>841 - Functional Programming - Exercises: Excercises</li></ul>
ECTS credit points:
2
Stud.IP informationen about this course:
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 296
Postings: 72
Documents: 2