Meng Lu's home page / academics / course / functional programming principles in scala / lecture note / lecture note 1