28. 1. Java SE Specifications --- 4.2 Primitive Types, 4.10 Subtyping
– https://docs.oracle.com/javase/specs/jls/se9/html/index.html
2. 書籍「型システム入門」 第1章 はじめに
– http://www.ohmsha.co.jp/data/link/978-4-274-06911-6/types-and-
programming-languages-ja_p1_0-ch01.pdf
3. History of CLU by Liskov
– http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-561.pdf
4. What is Object Oriented Programming by Straustrup
– http://www.stroustrup.com/whatis.pdf
5. オブジェクト指向入門 by バートランドメイヤー
6. The Early History of Smalltalk by Alan Kay
– http://worrydream.com/EarlyHistoryOfSmalltalk/
7. Structured Programming by Dijkstra, Hoare, Dahl
– https://dl.acm.org/citation.cfm?id=1243380
8. SIMULA by Dahl, Myhrhaug, Nygaard
– http://web.eah-jena.de/~kleine/history/languages/Simula-
CommonBaseLanguage.pdf
無料サンプル
有料
3,4,5 は抽象データ型派、6 はアンチ抽象データ型、
7 は三者三様、8はオブジェクト指向の原点の一つ
実験的なアプローチは、6 に詳しい。 3,5,7,8 もボトムアップで実験的なやり方を重視