课程名称︰程式语言理论与型态系统 (FLOLAC)
课程性质︰资管系 (所) 选修
课程教师︰穆信成 (与教学团队的其他讲师)
开课学院：管理学院
开课系所︰资管系 (所)
考试日期（年月日）︰2018 年 7 月 20 日
考试时限（分钟）：9:10 ~ 12:10 (最后有延长时间到 12:30)
试题 :
Part (A) - Functional Programming
Final Examination, July. 2018
Important: note before you start the exam:
* Algebraic proofs need not be carried out in gory details