Lecture Notes, Week 11

• The functional abstraction and instantiation of recursive functions
  • Resources
  • Example: the addition function that adds its first argument to its second
  • Example: the power function that exponentiates its first argument with its second
  • The common pattern
  • Functional abstraction of the common pattern
  • Instantiating the abstraction towards the addition function
  • Instantiating the abstraction towards the power function
  • Interlude
  • Resources
  • Version
• The functional abstraction and instantiation of tail-recursive functions that use an accumulator
  • Resources
  • Example: the addition function that adds its first argument to its second
  • Example: the power function that exponentiates its first argument with its second
  • The common pattern
  • Functional abstraction of the common pattern
  • Instantiating the abstraction towards the addition function
  • Instantiating the abstraction towards the power function
  • Resources
  • Version
• Tail-recursive functions are recursive
  • Version
• Primitive recursion
  • Resources
  • Version
• Exercises for Week 11
  • Exercise 00
  • Mandatory exercises
  • Version
• Index of concepts for Week 11
  • Version