CS420 Compiler Design: Programming Language Implementation

이 광근 (kwang@cs.kaist.ac dot kr)

화/목 9:00am-10:30am, CS Room 1101

강의 자료

- 아래 화일들을 (postscript files) 프린트하려면 Ghostview!

매주 목요일에 나가고, 다음주 목요일 24:00시 까지 컴퓨터로 제출한다
모든숙제는 exercise당 10점만점.
24시간이내 늦어지면 10% 감점. 24-48시간내에 늦어지면 20%감점. 그이상(1주일이내) 늦어지면 50%감점. 1주일 이후(168시간이후)에는 숙제를 받지않습니다.
1(due 3/18): ML 프로그래밍 I
2(due 4/1): ML 프로그래밍 II
3(due 4/3): lexical analysis
4(due 4/8): lambda parsing
5(due 4/22): lambda world
6(due 5/6): tcoML parser and interpreter
7(due 5/12): tcoML is type-sound
8(due 5/20): substitute, unify, and type-check!
9(due 5/27): tcoML-to-SECK and the millenium bug
10(due 6/3): compile-time analysis and alpha conversion

Modern Compiler Implementation in ML Andrew Appel, Cambridge University Press, 1998 (학교서점)
Compilers: Principles, Techniques, and Tools Aho, Sethi, and Ullman, Addison-Wesley
The Little MLer, Matthias Felleisen and Daniel P. Friedman, MIT Press, 1998
ML for the Working Programmer. L. C. Paulson. Cambridge University Press,1996. (2nd edition)
Elements of ML Programming. Jeffrey D. Ullman. Prentice-Hall, 1994.
Amazon 책방

관련과목

CMU 15-411 Compiler Design
Princeton CS441 Programming Languages

이 광근