CSE-321 Programming Languages
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
| Spring 2007 |
| 박성우, Sungwoo Park |
| Lecture, Monday and Wednesday 9:30am - 10:45pm. 정보통신연구소 143호 |
| 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 MATH-261 Discrete Mathematics and CSE-233 Data Structure and Algorithm are strongly recommended.
What's New?
- (06/18) The course is over!
- (05/31) CS Chapter 12 is up.
- (05/13) CS Chapter 11 is up.
- (05/10) CS Chapter 10 is up.
- (05/09) A sample solution for quiz 3 is up.
- (05/03) A section on de Bruijn indexes has been added.
- (04/25) A sample solution for the midterm exam is up.
- (04/18) CS Chapter 7 is up.
- (04/18) CS Chapter 6 is up.
- (04/18) CS Chapter 5 is up.
- (04/18) CS Chapter 9 is up.
- (04/16) CS Chapter 8 is up.
- (04/09) A sample solution for quiz 2 is up.
- (04/03) CS Chapter 4 is up.
- (03/26) CS Chapter 3 is up.
- (03/26) A sample solution for quiz 1 is up.
- (03/14) CS Chapter 2 is up.
- (03/07) CS Chapter 1 is up.
- (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 |
Monday and Wednesday 9:30am - 10:45pm, 정보통신연구소 143호 |
| 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
10% Quiz
20% Midterm Exam
20% Final Exam |
| Midterm |
April 25 (Wednesday) 8pm-11pm. 정보통신연구소 143호. Closed book.
Spring 2006: Exam [PS, PDF]
Solution [PS, PDF]
|
| Final |
June 17 (Sunday) 3pm-6pm. 정보통신연구소 143호. Closed book.
Spring 2006: Exam [PS, PDF]
Solution [PS, PDF]
|
| Home |
http://www.postech.ac.kr/~gla/cs321/
Spring 2006 http://pl.postech.ac.kr/~gla/pl2006/ |
| Discussion |
telnet to pl.postech.ac.kr with id 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 |
Tuesday 5pm-6pm |
| TA |
김태경, Taekyung Kim |
| Contact |
strikerz@postech or x-5878 |
| Office |
Engineering Building 2, Room 306-1 |
| Office Hour |
Monday 4pm-5pm |
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
|