Reading List on Programming Language Theory (SNU 4541.574)

Kwangkeun Yi
Programming Research Laboratory/ Seoul National University

지향/Orientation

의미구조 표현법/Semantic Formalism

타입 시스템/Type System