GitHub - sobakavosne/RWTH-lectures: Compendium of Functional Programming lectures provided by Aachen Technical University (Jürgen Giesl's lectures)

This repository has been archived by the owner on Aug 6, 2023. It is now read-only.

sobakavosne / RWTH-lectures Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Compendium of Functional Programming lectures provided by Aachen Technical University (Jürgen Giesl's lectures)

BSD-3-Clause license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.devcontainer		.devcontainer
app		app
src		src
static		static
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
RWTH-lectures.cabal		RWTH-lectures.cabal
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

Haskell lectures

This lectures provided by Aachen Technical University (Jürgen Giesl's lectures)

Content

Introduction in Functional Programming

1. Introduction in Functional Programming Language Haskell

1.1 Basic constructs of Haskell (programming technics in functional languages)
1.2 Higher-order functions
1.3 Programming with lazy evaluation
1.4 Monads

2. Semantics of FP (denotation semantics)

2.1 Complete partial orders and fixpoints

About

Compendium of Functional Programming lectures provided by Aachen Technical University (Jürgen Giesl's lectures)

haskell semantics functional-languages aachen-technical-university

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages