Transcript Slide 1

CSE-321 Programming Languages
Review
박성우
POSTECH
June 13, 2013
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 9, Part 2)
2
321 강의의 범위
• CMU 15-312 Principles of Programming Languages
수준
– http://www.cs.cmu.edu/~rwh/courses/ppl/
– http://www.cs.cmu.edu/~rwh/courses/ppl/schedul
e.html
3
Assignments
•
•
•
•
A1: 16, 94.44 [95.27]
A2: 16, 91.4 [92.4]
A3: 16, 88.56 [81.54]
A4: 16, 94.06 [89.6]
(SML programming 1)
(SML programming 2)
(SML programming 3)
(-calculus)
•
•
•
•
•
A5: 16, 100 [91.4]
A6: 15, 79.2 [70.18]
A7: 15, 61.67 [79.17]
A8: ?, ?
A9: ?, ?
(Typechecking)
(De Bruijn indexes)
(Featherweight Java)
(Type reconstruction)
(Compilation)
4
학생 발표
•
•
•
•
•
•
•
•
5.14 최태훈
5.14 최준묵 모기
5.16 김봉준
5.21 허선영
5.21 정진웅
5.28 이해진
5.30 김형준
6.4 김민철
5
절대 평가
• 22 Exams 50%
– Each exam 2% ~ 3%
– Last Exam 4%
• Assignment 50%
– A1, A2, A3: 2%
– A4: 6%
– A5: 4%
– A6: 8%
– A7: 6%
– A8: 10%
– A9: 10% + Extra
• Student presentation: Extra 10%
6
Flipped Learning
• 3 Lectures on functional programming
– 내년부터는 video lecture로 전환
• 21 Video lectures
– 1585 minutes = 26시간 25분 = 120분 영화 13편
– 내년부터는 20 video lectures
• Short summary by the instructor
• Question & Answer
• Student presentation
– 칠판 vs 슬라이드
– 요약
– 예습
• Assignment 설계 발표
7
감사합니다
Life is an exciting adventure...
[email protected]