- Instructor: Shin Hong https://hongshin.github.io 📧 hongshin@gmail.com
- Mathematical Preliminaries
- Set, Relation and Function
- Inductive Definition
- Homework 1
- Rust programming languages
- Primitives
- Compound Types
- Function
- Memory
- Syntax and Semantics (Lecture 3)
- lecture note
- code examples
- Identifiers (Lecture 4)
- lecture note
- code examples
Recommended readings
- 프로그래밍언어 이야기 by Prof. Kwangkeun Yi
- 프로그래밍 언어의 원리 by Prof. Hakjoo Oh
- The Rust Programming Language
- Comprehensive Rust
- Scala Book / Tours of Scala / Essential Scala
Previous Class