データタイプ理り論ろん

noun

data type theory

Technical term in computer science and programming language theory; refers to the formal study of data types and type systems.

• データタイプ理り論ろんは、プログラミング言げん語ごの型かたシステムの基き礎そをなす。

  Data type theory forms the foundation of type systems in programming languages.