15 312 assn3
Assignment 3: PCF, FPC, and PyCF 15-312: Principles of Programming Languages (Fall 2023) In this assignment you will explore concepts of self-reference in programming languages. In PCF we consider self-reference at the term level. Most often students encounter this form of self-reference when defining recursive functions, those that “call themselves” when applied to an argument. …