dependent typing ^{الإنجليزية} (Q1175117)

typing discipline for programming languages ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	dependent typing	typing discipline for programming languages	dependent types dependently typed

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

subclass of ^{الإنجليزية}

١ مراجع

١ مراجع

instance of ^{الإنجليزية}

١ مراجع

subreddit ^{الإنجليزية}

language of work or name ^{الإنجليزية}

١ مراجع

has part(s) ^{الإنجليزية}

dependent type ^{الإنجليزية}

١ مراجع