- 16th
- 05:50 pm
Кодогенерация кодогенераторов
- 2 comments
Tags:
- 17th
- 02:49 pm
Ссылки в научных работах
- 38 comments
Tags:
- 24th
- 06:58 pm
ATS: первые впечатления
- 26 comments
- 25th
- 07:53 pm
ATS и зависимые типы
- 17 comments
- 26th
- 08:55 pm
ATS: какие ваши доказательства?
- 8 comments
- 29th
- 04:14 pm
ATS и арифметика в типах
- 9 comments
Profile
Dmitry Popov
Style Credit
- Style: Neutral Good for Practicality by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags