CSE-321 Programming Languages

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


Spring 2014
박성우, Sungwoo Park
Lecture, Tuesday and Thursday 2:00pm-3: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 higher-order functional language in the ML family.

Prerequisites: None, but Discrete Mathematics, Data Structure, and Algorithm are recommended.


What's New?

  • (3/2) Welcome -- Course webpage is open!

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 Tuesday and Thursday 2:00pm-3:15pm. 무은재 308
Document on the disciplinary policy [PDF]
Textbook Course notes [PDF]
OCaml manual [http://caml.inria.fr/pub/docs/manual-ocaml-4.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
15% Midterm
20% Final
5% Quiz
Midterm Spring 2014: Exam [PDF] Solution [PDF]
Spring 2013: In-class 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 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]
Home http://www.postech.ac.kr/~gla/cs321/
Spring 2013 http://pl.postech.ac.kr/~gla/pl2013/
Spring 2012 http://pl.postech.ac.kr/~gla/pl2012/
Spring 2011 http://pl.postech.ac.kr/~gla/pl2011/
Spring 2010 http://pl.postech.ac.kr/~gla/pl2010/
Spring 2009 http://pl.postech.ac.kr/~gla/pl2009/
Spring 2007 http://pl.postech.ac.kr/~gla/pl2007/
Spring 2006 http://pl.postech.ac.kr/~gla/pl2006/
Wiki http://pl.postech.ac.kr/wiki/doku.php?id=cs321:start
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 x-2386
Office 정보통신연구소 334
Office Hour Tuesday 4pm-5pm or by appointment

TA Mai H. Dinh
Tran Duy Thinh
Contact 279-5878
Office 정보통신연구소 353
Office Hour By appointment


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