CSE-321 Programming Languages Overview 박성우 POSTECH March 3, 2015

Course Outline Topics to be covered: mathematical foundation of programming languages theory of programming languages type theory designing programming langauges implementing programming languages Topics not to be covered: history of programming languages comparison of various programming languages

CSE-321 Programming Langauges Course webpage http://pl.postech.ac.kr/~gla/cs321

Grading Assignments 60% Midterm 15% Final 20% Quiz 5% 8 programming assignments 4 written quizzes in class 2 essay assignments To get an A, you have to complete all assignments.

Discussion Board telnet pl.postech.ac.kr, board 321 Create an ID to ask questions.

Anonymous Feedback http://pl.postech.ac.kr/~gla/feedback/

Objective Caml (OCaml) Programming language for your assignments We will use OCaml 4.01. Read ‘The core language’ and ‘The module system’ sections in the OCaml manual.

No Cheating Read the document on the disciplinary policy. 2011: 5 students cheated (out of 35 students) We have developed clonechecker for OCaml. We will check all your programs at the end of the semester. Cheating will get you a grade of F.

programming.postech.ac.kr Linux machine for your assignments. OCaml 4.01 is already installed. Use your Hemos ID to log in. Contact Hemos Team to request an ID. Your handin directory is located at: /home/class/cs321/handin/<your Hemos ID>

Assignment 1 Assignment 1 will be out tonight. Due at 11:59pm, March 10 (next Tuesday) Details of the instruction are all in the handout. If you don't find your handin directory, email gla@postech.ac.kr. You may program on Windows or Linux, but make sure that your program compiles! Otherwise your program will not be graded.

작문 숙제 ‘뛰어난 프로그래밍 능력이란’ 주제에 대한 작문 A4 용지 1장+ 분량 3월 17일 화요일 수업시간에 제출 (2주)

Welcome to CSE-321!