زبان ام.ال.
preferred label: ML language @en
type: Concept
related: نظریه الگو

نوع داده چکیده
preferred label: abstract data types @en
type: Concept
related: نظریه الگو

استدلال در مورد برنامه
preferred label: reasoning about program @en
type: Concept
related: نظریه الگو

نظریه برنامه‌نویسی
preferred label: programming theory @en
type: Concept
narrower: نظریه الگو

ساختار داده‌ها
preferred label: data structure @en
type: Concept
related: نظریه الگو

نظریه الگو
related: نوع داده چکیده
related: استدلال در مورد برنامه
related: زبان ام.ال.
related: ساختار داده‌ها
preferred label: type theory @en
type: Concept
broader: نظریه برنامه‌نویسی
alternative label: استنباط الگو