CSE-321 Programming Languages
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
| Spring 2025 |
| 박성우, Sungwoo Park |
| Lecture, Monday and Wednesday 2:00pm-3:15pm, 무은재 307 |
| 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: Discrete Mathematics and Data Structure are recommended.
What's New?
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 강의노트 [PDF]
OCaml manual [https://v2.ocaml.org/manual/]
Real World OCaml (supplementary book) [https://dev.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)
|
| Credit |
3 |
| Grading (Tentative) |
70% Assignments
15% Midterm
15% Final
|
| Midterm |
Spring 2017: Exam [PDF]
Spring 2016: Exam [PDF]
Spring 2015: Exam [PDF]
Spring 2014: Exam [PDF]
Spring 2012: Exam [PDF]
Spring 2011: Exam [PDF]
Spring 2010: Exam [PDF]
Spring 2009: Exam [PDF]
Spring 2007: Exam [PDF]
Spring 2006: Exam [PDF]
|
| Final |
Spring 2017: Exam [PDF]
Spring 2016: Exam [PDF]
Spring 2015: Exam [PDF]
Spring 2014: Exam [PDF]
Spring 2012: Exam [PDF]
Spring 2011: Exam [PDF]
Spring 2010: Exam [PDF]
Spring 2009: Exam [PDF]
Spring 2007: Exam [PDF]
Spring 2006: Exam [PDF]
|
| Discussion |
telnet to pl.postech.ac.kr with id bbs (as in telnet pl.postech.ac.kr -l bbs) |
| |
| Directories |
programming2.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, 월 3:30 - 4:30 |
| TA |
남궁성곤 |
| Contact |
lngsg at postech |
| Office |
정보통신연구소 354 |
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
|