CSE321 Programming Languages
[ Home
 Schedule
 Assignments
 Software
 Resources
]
gla@postech Sungwoo Park
Spring 2017 
¹Ú¼º¿ì, Sungwoo Park 
Lecture, Tuesday and Thursday 2:00pm3:15pm. ¹«ÀºÀç 308È£ 
3 credits 
This course covers the basics of the theory of programming languages.
We will begin with an introduction to functional programming and
the mathematical foundation for programming language theory,
and then proceed to the techniques for formally defining a programming language
such as abstract syntax, type system, and operational semantics.
We will investigate important features found in modern programming languges
and their implementation issues.
This course places a strong emphasis on the role of type theory
in modern programming languages.
In order to complement our theoretical study with practical programming,
we will learn a higherorder functional language in the ML family.
Prerequisites: None, but Discrete Mathematics, Data Structure, and Algorithm are recommended.
Class Material
Schedule 
Lecture schedule and readings 
Assignments 
Details of assignments, due dates, and policies 
Software 
Guides to setting up the programming environment 
Resources 
Course resources 
Course Information
Lectures 
Document on the disciplinary policy
[PDF]

Textbook 
Course notes [PDF]
OCaml manual [http://caml.inria.fr/pub/docs/manualocaml4.01/index.html]
Real World OCaml [https://realworldocaml.org/]
Introduction to Programming Using SML, Michael. R. Hansen and Hans Rischel
(supplementary book; 5 copies available in the library)
ML for the Working Programmer, L.C. Paulson (supplementary textbook; available in the library)
Haskell: The Craft of Functional Programming, Simon Thompson (supplementary textbook; available in the library)

Credit 
3 
Grading 
60% Assignments
20% Midterm
20% Final

Midterm 
Spring 2015: Exam [PDF]
Solution [PDF]
Spring 2014: Exam [PDF]
Solution [PDF]
Spring 2013: Inclass exams [Link]
Spring 2012: Exam [PDF]
Solution [PDF]
Spring 2011: Exam [PDF]
Solution [PDF]
Spring 2010: Exam [PDF]
Solution [PDF]
Spring 2009: Exam [PDF]
Solution [PDF]
Spring 2007: Exam [PDF]
Solution [PDF]
Spring 2006: Exam [PDF]
Solution [PDF]

Final 
Spring 2015: Exam [PDF]
Solution [PDF]
Spring 2014: Exam [PDF]
Solution [PDF]
Spring 2012: Exam [PDF]
Solution [PDF]
Spring 2011: Exam [PDF]
Solution [PDF]
Spring 2010: Exam [PDF]
Solution [PDF]
Spring 2009: Exam [PDF]
Solution [PDF]
Spring 2007: Exam [PDF]
Solution [PDF]
Spring 2006: Exam [PDF]
Solution [PDF]

Discussion 
telnet to pl.postech.ac.kr with id bbs (as in telnet pl.postech.ac.kr l bbs) 
Directories 
programming.postech.ac.kr:/home/class/cs321/handin/ for submission of assignments

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

Teaching Staff
Instructor 
¹Ú¼º¿ì, Sungwoo Park 
Contact 
gla@postech or x2386 
Office 
Á¤º¸Åë½Å¿¬±¸¼Ò 334 
Office Hour 
Tuesday 3.30pm4.30pm or by appointment 
TA 
±è¹ü¼® 
Contact 
beomseok0203 at postech 
Office 

Office Hour 

[ Home
 Schedule
 Assignments
 Software
 Resources
]
gla@postech Sungwoo Park
