Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program constructing » program construction, diagram constructing, geography constructing
iterative selection » interactive selection, iterative detection, negative selection
selection programme » selection programs, selective programmed, electron programmed
programs conducting » proposals conducting, program conducted, programs concluding
program constructing » program construction, diagram constructing, geography constructing
iterative selection » interactive selection, iterative detection, negative selection
selection programme » selection programs, selective programmed, electron programmed
programs conducting » proposals conducting, program conducted, programs concluding
1
Опубликовано 2006
Оглавление:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Полный текст
Электронный ресурс
eКнига
