Reading List on Programming Language Theory (SNU 4541.574)

Kwangkeun Yi
Programming Research Laboratory/ Seoul National University

지향/Orientation

• 19세기 논리학, 21세기 계산학, Phil Wadler
• Theory and Practice, Donald Knuth
• Bridging the Gap Between Theory and Practice, Nick Benton

의미구조 표현법/Semantic Formalism

• 왠 궁극의 스타일?/motivation or plan for denotational semantics
  • Outline of a Mathematical Theory of Computation, Dana Scott
  • Mathematical Concepts in Programming Language Semantics, Dana Scott
  • Domains and Logics, Dana Scott
• 좋은 강의노트 a reference on denotational semantics: Denotational Semantics, Andrew Pitt
• SOS 오리지날 강의노트 a reference on operational semantics:Structural Operational Semantics, Gordon Plotkin
• 가상기계 디자인의 모범 an outstanding example of abstract machine design:The Categorical Abstract Machine, G. Cousineau and P.-L. Curien and M. Mauny
• 좋은 강의노트: Semantics of Programming Languages, Andrew Pitt

타입 시스템/Type System

• 동일화 알고리즘의 오리지날 논문: A Machine-Oriented Logic Based on the Resolution Principle, 1965, J. A. Robinson
• ML 타입 시스템의 준 오리지날 논문: Principal Type-schemes for Functional Programs, 1982, Luis Damas and Robin Milner
• 알기쉬운 ML 타입 시스템의 안전성 증명: A Syntactic Approach to Type Soundness, 1994, Andrew K. Wright and Matthias Felleisen
• 프로그래밍 언어의 타입 시스템들에 대한 전체적인 이해를 위해서: On Understanding Types, Data Abstraction, and Polymorphism, 1985, Luca Cardelli and Peter Wegner
• Let-다형 타입 유추 알고리즘들의 정리: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm, 1998, Oukseh Lee and Kwangkeun Yi