This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: HW 3 – Lambda Calculus CS 421 – Fall 2007 Revision 1.0 Assigned Tuesday, November 27. 2007 Due Tuesday December 4, 2007, 2:00pm - in class Extension 48 hours (20% penalty) 1 Change Log 1.0 Initial Release. 1.1 Corrected the handin time, added code and type information for fold right for the extra credit problem. 2 Turn-In Procedure Your answers to the following questions are to be hand-written neatly or printed on one or more sheets of paper, each with your name in the upper right corner. The homework is to be turned in in class at the start of class. Alternately, you may hand it to Prof. Elsa Gunter in person before the deadline. 3 Objectives and Background The purpose of this HW is to test your understanding of: • Alpha and beta conversion in the lambda calculus • The consequences of different evaluation schemes • How to represent datatypes in the lambda calculus Another purpose of HW3 is to provide you with experience answering non-programming written questions of the kind you may experience on the final.kind you may experience on the final....
View Full Document
- Fall '08
- Extra Credit Problem, Lazy evaluation, Prof. Elsa Gunter, val fold_right