Next:
What is this module
G6021 — Comparative Programming
Dr. Vincent Van Oostrom
Notes by Nathan Baines
Date:
Academic year 2025/26
What is this module about?
Imperative
Object Oriented
Functional
Logic
Functional Programming
Haskell
Reduction Sequences
Strategies
Reduction Graphs
Functional Values
Notation
Definition of functions
Recursive definitions
Local definition
Arithmetic functions
Function composition
Types
Polymorphism
Type inference
Disjoint sums
Lambda Calculus
Syntax
Conventions
Variables
About this document ...
