ML language
زبان ام.ال.
نوع داده چکیده
abstract data types
استدلال در مورد برنامه
reasoning about program
نظریه برنامه‌نویسی
programming theory
ساختار داده‌ها
data structure
نظریه الگو
type theory
استنباط الگو