dependently typed
| programming
| dependently typed abbr. | |
| progr. | с зависимыми типами |
| programming abbr. | |
| gen. | составление программы; выполнение программы; программирование; планирование; продукция; обучение |
| automat. | подготовка УП |
| railw. | осуществление автоматического процесса по установленной программе; воспроизведение режима работы |
| robot. | задание программы |
| |||
| с зависимыми типами (Alex_Odeychuk) | |||
|
dependently typed : 3 phrases in 1 subject |
| Programming | 3 |