CNCE204 Programming Languages

general schedule assignment project

General Information

Professor: Eun-Young Lee
Lectures: Friday 9:00 a.m. -- 11:45 a.m. in Asan Science Building 231

BBS for Q/A

http://cafe.naver.com/pl07

Credit

Midterm	35%
Final Exam	35%
Homework/Project	20%
Attendance	10%

Course Textbook

Robert W. Sebesta: Concept of Programming Languages, 8th Edition, Addison Wesley

Supplementary Reading

Jeffery D. Ullman: Element of ML Programming (ML97 Edition), Prentice Hall
John C. Mitchell: Concepts in Programming Languages, Cambridge
L. C. Paulson: ML for the working programmer, 2nd Edition, Cambridge

Homework

ML programming assignments will be given every week or in every other week to help you practice ML programming. Each assignment will consist of small problems for understanding the concepts of ML constructs, and problems to guide you to the final term project.

Term Project

We are going to build an interpreter for arithmetic expressions (a. k. a. a calculator) in ML. The interpreter consists of two parts: a parser and an evaluator. The parser constructs a tree structure out of an expression. The tree is called "a parse tree." The evaluator traverses a parse tree, computes the value, and reports it. The schedule and the scope of the project will be announced in the class.

You are strongly recommended to use Emacs with sml-mode for the ML programming of this semester.

Using SML/NJ Compiler

Resource Links

ML

Compiler
- Standard ML of New Jersey : main page
- A self-installing .EXE for Windows 9X/NT/2000/XP
- Executable for Windows 9X/NT/2000/XP without an install shield, Installation Instruction
  It seems that the self-intalling SML/NJ compiler conflicts with Windows Tabelet PC, though it works fine with Windows XP. If you have any problem in using the self-installing compiler, install the SML/NJ compiler with no install shield. This version looks more stable.
- For other platforms (such as UNIX or MacOS), visit the SML/NJ Home Page.
Programming Guides
- Programming in Standard ML by R. Harper
- Notes on Programming Standard ML of New Jersey by R. Pucella
Compilation Manager
SML-MODE
The Emacs SML editing mode. You need to install Emacs before editing your ML programs in sml-mode. The sml-mode provides quite nice features for ML programming, such as
- Syntax Coloring
- Sending the ML file you are editing to ML compiler directly (Ctrl-c-l)
Here are the links for the software (in fact, LISP programs which are understood by Emacs) and the online manual.
- Online Documentation
  Consult the section 1.2 Getting Started and the section 4.3 Syntax Coloring.
- Software Package, sml-mode 4.0 (ZIP)
MLRISC
customizable optimizing back-end written in Standard ML

GNU Emacs

Papers on Functional Programming

Backus, J. (1978). Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, vol. 21, pp. 613-641.
Barendregt, H.P. (1984). The Lambda Calculus: its syntax and semantics. North-Holland.
Landin, P.J. (1966). The next 700 programming languages. Communications of the ACM, Vol. 9, pp. 157-166.
Thompson, K. (1984). Reflections on Trusting Trust. Communications of the ACM, Vol. 27, No. 8, August 1984, pp. 761-763.