CSC 316 Functional Programming Exam 2020

About this paper

An End-of-Semester Examination for CSC 316 Functional Programming at the University of Buea Faculty of Science, dated 23/07/2020, instructed by Dr. William S. Shu. Q1 covers why OCaml is a functional language, a derivative function on functions, a positive-integer union type, and a recursive division function with a worked 5 div 2 example. Q2 covers lambda-calculus simplification by alternating and call-by-name strategies, combinators, and a formal non-termination proof for the Y combinator with its fixpoint role. Q3 covers the progress property, type erasure, the Curry-Howard correspondence, polymorphism classes, and array invariance. Q4 covers operational semantics, concrete/abstract syntax, structural induction, and a denotational semantics for associative versus non-associative string operators.