1
Опубликовано 2006
Оглавление: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
Полный текст
Электронный ресурс eКнига