1 / 8

CSE-321 Programming Languages Review

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

tovi
Download Presentation

CSE-321 Programming Languages Review

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CSE-321 Programming LanguagesReview 박성우 POSTECH June 13, 2013

  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 9, Part 2)

  3. 321 강의의 범위 • CMU 15-312 Principles of Programming Languages 수준 • http://www.cs.cmu.edu/~rwh/courses/ppl/ • http://www.cs.cmu.edu/~rwh/courses/ppl/schedule.html

  4. Assignments • A1: 16, 94.44 [95.27] (SML programming 1) • A2: 16, 91.4 [92.4] (SML programming 2) • A3: 16, 88.56 [81.54] (SML programming 3) • A4: 16, 94.06 [89.6] (-calculus) • A5: 16, 100 [91.4] (Typechecking) • A6: 15, 79.2 [70.18] (De Bruijn indexes) • A7: 15, 61.67 [79.17] (Featherweight Java) • A8: ?, ? (Type reconstruction) • A9: ?, ? (Compilation)

  5. 학생 발표 • 5.14 최태훈 • 5.14 최준묵 모기 • 5.16 김봉준 • 5.21 허선영 • 5.21 정진웅 • 5.28 이해진 • 5.30 김형준 • 6.4 김민철

  6. 절대 평가 • 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%

  7. 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 설계 발표

  8. 감사합니다 Life is an exciting adventure... gla@postech.ac.kr

More Related