CSE-321 Programming Languages

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


Spring 2009
박성우, Sungwoo Park
Lecture, Tuesday and Thursday 16:15pm-17:30pm. 정보통신연구소 122호
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 called ML. Students are encouraged to learn on their own other functional languages, such as Haskell, Objective CAML, and Scheme.

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


What's New?

  • (06/04) Final: June 16, in class. Closed book
  • (04/09) Midterm: April 23, in class. Closed book
  • (03/15) Makeup lecture: March 18, Wednesday 9:00pm-10:15pm, 정보통신연구소 122호
  • (03/10) Makeup lecture: March 11, Wednesday 9:00pm-10:15pm, 정보통신연구소 122호
  • (03/05) Makeup lecture cancelled
  • (03/03) Makeup lecture: March 6, Friday 9:30am-10:45am, 정보통신연구소 143호
  • (03/01) 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 16:15pm-17:30pm, 정보통신연구소 122호
Document on the disciplinary policy [PDF, HTML]
Textbook Course notes [PS, PDF]
Notes on Programming SML/NJ, Riccardo Pucella (reference book for Standard ML; local copy [PS, PDF])
Programming in Standard ML, Robert Harper (supplementary book for Standard ML)
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 50% Assignments
(Project: ?%)
10% Quiz
20% Midterm Exam
20% Final Exam
Midterm April 23 (Thursday) 4:15pm-5:45pm. 정보통신연구소 122호. Closed book.
Exam [PS, PDF] Solution [PS, PDF]
Spring 2007: Exam [PS, PDF] Solution [PS, PDF]
Spring 2006: Exam [PS, PDF] Solution [PS, PDF]
Final June 16 (Tuesday) 4:15pm-5:45pm. 정보통신연구소 122호. Closed book.
Exam [PDF] Solution [PDF]
Spring 2007: Exam [PS, PDF] Solution [PS, PDF]
Spring 2006: Exam [PS, PDF] Solution [PS, PDF]
Home http://www.postech.ac.kr/~gla/cs321/
Spring 2007 http://pl.postech.ac.kr/~gla/pl2007/
Spring 2006 http://pl.postech.ac.kr/~gla/pl2006/
Discussion telnet to pl.postech.ac.kr with id bbs (as in telnet pl.postech.ac.kr -l bbs)
Directories /afs/postech.ac.kr/class/cse/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 Engineering Building 2, Room 317
Office Hour Wednesday 5pm-6pm
TA 박종현, Jonghyun Park
Contact parjong@postech or x-5878
Office Engineering Building 2, Room 306-1
Office Hour Monday 5pm-6pm

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