20-CS-4003-001 Organization of Programming Languages Fall 2017
Lab Assignment 6

Lambda calculus, Type theory, Formal semantics, Program analysis

The power of lambda

Due: 16 October, 2017 (submit instructions: here)

    Use force-and-delay of lambda to eliminate the need for knowing N in the previous assignment.
Lab Problem:
Repeat the previous assignment except use lambda to make the procedure(s) lazy. That is, your procedures will operate on an infinite list of numbers (2,3,4,...) but that will be no problem since your procedures will be lazy.