CSC 316 Functional Programming Exam 2023

About this paper

An End-of-Semester Examination for CSC 316 Functional Programming at the University of Buea Faculty of Science, instructed by Mr Mawoh R. (the printed Year field 2024 and Date field 09/07/2023 conflict with each other and with a handwritten 'Wednesday 22 June 2023' note, all reproduced as given without silent resolution). Q1 covers the concurrency/abstraction classes of FP tasks and an OCaml summation function. Q2 covers lambda-calculus evaluation, a multi-step beta-reduction simplification under alternating and call-by-name strategies, and variable capture versus de Bruijn indices. Q3 covers axiomatic/denotational/operational semantics and a formal operational semantics for a bean-reduction game (BWG) with worked reductions. Q4 covers type safety/checking/reconstruction, substitution and unification, and polymorphism.