CSE-321 Programming Languages
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
Spring 2013 |
¹Ú¼º¿ì, 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 called ML.
Prerequisites: None, but Discrete Mathematics, Data Structure, and Algorithm are recommended.
What's New?
- (4/29) ¼³¹®Á¶»ç°á°ú:
DOCX
- (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
Teaching Staff
Instructor |
¹Ú¼º¿ì, Sungwoo Park |
Contact |
gla@postech or x-2386 |
Office |
Á¤º¸Åë½Å¿¬±¸¼Ò 334 |
Office Hour |
Tuesday 5pm-6pm |
TA |
¹ÚÇüö |
Contact |
luscani@postech or x-5878 |
Office |
Á¤º¸Åë½Å¿¬±¸¼Ò 353 |
Office Hour |
(By appointment) |
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
|