1. CSE-321 Programming Languages Overview
박성우
POSTECH
March 3, 2016

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

3. CSE-321 Programming Langauges
Course webpage

4. Grading
Assignments 40% Midterm 15% Final 15% Question/Answer 30% (in class)
8 programming assignments
To get a grade of A, you have to complete all assignments.
Missing 1/3 of the lectures gets you the final grade of F.

5. Flipped Learning
You are supposed to watch video lectures before class.
We will discuss the lecture in the beginning of each class.
We will have a question-and-answer session afterwards.
Counts 30% toward your final grade.

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

7. Anonymous Feedback

8. 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.

9. 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.

10. 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>

11. Assignments All assignments are already out.
Finish the assignments at your pace.
Details of the instruction are all in the handout.
If you don't find your handin directory,
You may program on Windows or Linux, but make sure that your program compiles!
Otherwise your program will not be graded.

12. Modern Programming Languages
Survey of your favorite modern programming language
Java 8
Scala
Rust Go …
To be announced after midterm

13. Welcome to CSE-321!