CSC 316 Functional Programming CA 2024

About this paper

CSC 316: Continuous Assessment Test II for CSC316, Functional Programming, Department of Computer Science, Faculty of Science, University of Buea, 25 May 2024. Question 1 asks to simplify a pure lambda calculus expression by alternating call-by-value then right-most-outermost reduction, and to explain variable capture (with an example), Church encoding (illustrated with booleans) and delta rules, including whether Church-encoded booleans require delta rules. Question 2 asks for an operational semantics of the string-concatenation operator (denoted with a caret), applied symbolically with s/e placeholder symbols, worked on two example concatenations. The printed instructions say 'Answer ANY THREE questions' and the header year (2023) conflicts with the footer date (25 May 2024), but only two questions (Q1, Q2) appear on the scanned paper; both discrepancies are reproduced as printed rather than silently corrected.