Similar to リスコフの置換原則
CGS ジャカードフォーマット
Common Object Request Broker Architecture
Common Object Request Broker Architecture
Component Object Model
Component Object Model
Darling (ソフトウェア)
Darling (software)
Dvorak配列
Dvorak keyboard layout
GAMESS (UK)
GAMESS (UK)
GNOME パネル
GNOME Panel
Inter-IC Sound
I²S
GRASP
GRASP (object-oriented design)
インターフェース分離の原則
Interface segregation principle
開放/閉鎖原則
Open–closed principle
SOLID
SOLID
デメテルの法則
Law of Demeter
コマンドクエリ分離
Command–query separation
型理論
Type theory
Nullable型
Nullable type
Option型
Option typeSystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
始代数
Initial algebra住性 (型理論)
Type inhabitation