This note covers
the following topics: introduction, pattern matching, The Sieve of Eratosthenes,
Fibonacci Series, Folding Lists, Data types, An expression evaluator, Lambda
Calculus, Modules, type inference, Uni cation algorithm, The type inference
algorithm, Type classes, Functions with varible number of arguments.
This page covers the
following topics related to Functional Programming : The Basics, Language
Support, Moving From Imperative to Functional, Higher Order Functions, Closures,
Purity and Side Effects, Theoretical Foundations, Functional vs.
Object-Oriented, Point-Free Programming, Summary.
This note covers the
following topics: Lambda calculus, Lambda calculus as a programming language,
Types, A taste of ML, Proving programs correct, Effective ML.
This note explains the
fundamental programming concepts such as recursion, abstraction, higher-order
functions and data types, whilst at the same time emphasizing the practical use
of such constructs by applying them within a graphical environment.
This note covers
the following topics: introduction, pattern matching, The Sieve of Eratosthenes,
Fibonacci Series, Folding Lists, Data types, An expression evaluator, Lambda
Calculus, Modules, type inference, Uni cation algorithm, The type inference
algorithm, Type classes, Functions with varible number of arguments.
This
note covers the following topics: programming paradigms, expressions types and
functions, name binding recursion iteration and continuation, higher order
functions, the order of evaluation, linguistic abstraction, laml, object
oriented programming in scheme, imperative programming in scheme.