1. CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우

2. 2 Topics Covered SML programming Inductive proofs -Calculus Operational semantics De Bruijn indexes Simply-typed -calculus Abstract machine Subtyping, Object-orientation (Assignment 7) Recursive type Polymorphism Type reconstruction, W-algorithm Compilation (Assignment 8, Part 2)

3. 3 Assignments A1: 34, 92.85(SML programming 1) A2: 34, 84.21(SML programming 2) A3: 34, 83.44(SML programming 3) A4: 33, 93.48(Implementing -calculus) A5: 34, 97.35(Typechecking) A6: 31, 54.55(De Bruijn indexes) A7: 26, 66.92(Featherweight Java) A8: ?, ?(Type reconstruction and translation)

4. 4 2006 vs. 2007 vs. 2009 vs. 2010 Assignment 4 (Implementing -calculus) –average 2006: 88.0 –average 2007: 88.57 –average 2009: 90.17 –average 2010: 93.48Ã Up Assignment 6 (De Bruijn indexes) –average 2007: 59.13 –average 2009: 56.12 –average 2010: 54.55Ã Down Assignment 7(Featherweight Java) –average 2006: 71.30 –average 2007: 77.71 –average 2009: 68.13 –average 2010: 66.92Ã Down

5. 5 Cheating? 2006 –7 students cheated (out of 46 students) –2 suspicious cases

6. 6 Final Exam 3 hours Closed book Saturday (June 12) 7pm - 10pm Starts at 6pm??? 너네들은 기말시험 보고 우리들은 월드컵 보고

7. 7 절대 평가 Exam 20% * 2 Quiz 2.5% * 4 Assignment 50% –A1, A2, A3 : 2.5% –A4 : 5% –A5: 2.5% –A6: 10% –A7: 10% –A8 (Part 1): 15% A8 part 2: Extra 15% Grading policy –90+: A –80+: B –70+: C –60+: D –60-: F 오늘 수업 출석 점수 10% 는 ??? ) 뻥이었음

8. 8 If HW8 = 100, Final = 100 A BC D F

9. 9 Final Mutable references [18 points] Evaluation context and environment [28 points] Subtyping [16 points] Recursive types [12 points] + an extracredit question Polymorphism [36 points] Type reconstruction [40 points]

10. Three Questions in the Final (Extracredit) Grading policy 를 바꿀 수 있음 !!! A+ AB+ B C

11. 11 Question 1

12. 12 PL 2006 Assign Due 3 시간 28 분 전 (hako)

13. 13 PL 2006 조삼모사 (kaje)

14. 14 PL 2006 기말고사 Assign 8 대마왕 23:10pm

15. 15 뒤에서 도촬

16. 16 Question in PL 2006 Final

17. 17 Question 2 전원 T-shirt 입고 오면 ) ???

19. 19 Question 3

20. 20 PL 2010 Tekken Match Teaching staffStudents VS + 용병 2 명

21. 21 PL 2010 Tekken Match 각 경기는 5 판 3 승제 Teaching staff 가 모두 탈락될 때까지 Play 한 학생 수에 따라서 grading policy 가 바뀔 수 있음 ! 학생 한명이 teaching staff 올킬 ) ??? Let's play!