- 追加された行はこの色です。
- 削除された行はこの色です。
- TaPL へ行く。
- TaPL の差分を削除
#author("2025-04-18T03:44:13+00:00","default:yoya","yoya") #author("2025-04-18T03:44:33+00:00","default:yoya","yoya") TITLE:TaPL (Types And Programming Languages) - https://www.ohmsha.co.jp/book/9784274069116/ - 型システム入門 プログラミング言語と型の理論 -- https://www.ohmsha.co.jp/book/9784274069116/ - 型システム入門 プログラミング言語と型の理論 -- https://tatsu-zine.com/books/types-and-programming-languages-ja