課程名稱︰程式語言理論與型態系統 (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